Petri网的定义 定义2.1 PN的结构是由4要元描述的一有向图: PNS=(P,T,I,O) 此处: (1)P={p1,...,pn}是库所的有限集合,n>0为库所的个数; (2)T={t1,...,tm}是变迁的有限集合,m>0为库所的个数; P∩T=⊙(空集) (3)I:P×T→N是输入函数,它定义了从P到T的有向弧的重复数或权(Weight)的集合,这里N={0,1...}为非负整数集; (4)O:T×P→N是输出函数,它定义了从T到P的有向弧的重复数或权的集合。