Petri网基本概念讲义.pptVIP

* * * * * * * * * * * * * * 第一部分 Petri网的基本概念 提纲 网与网系统 库所/变迁系统与加权Petri网 并发与冲突 网与网系统 Petri网是一种网状信息流模型，包括库所和变迁两类节点，同时在库所集上添加表示状态信息的托肯分布（标识） 库所表示条件、资源、等待队列和信道等 变迁表示事件、动作、语句执行和消息发送/接受等 一个变迁（事件）有一定数量的输入和输出库所，分别代表事件的前置条件和后置条件 库所中的托肯代表可以使用的资源数量或数据 Petri网按引发规则使得事件驱动状态的演变，从而反映系统动态运行过程 网与网系统 p1 p2 t1 t2 c1 c2 t3 t4 B 例：网N1=(P1,T1; F1)，其中 P1 = {p1, p2, c1, c2, B} T1={t1, t2, t3, t4} F1={(p1, t1),(t1, p2), ?} 网与网系统 定义1.1. 三元组N=(P,T;F)称作网当且仅当： （1） P?T≠Φ, P?T=Φ; （2） F?(P?T)?(T?P); （3）dom(F)?cod(F)=P?T 其中， dom(F)={x ? P?T | ?y?P?T: (x, y) ?F} cod(F) ={x ? P?T | ?y?P?T: (y, x) ?F} 这