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