上传者: 42187944
|
上传时间: 2022-11-30 20:07:26
|
文件大小: 421KB
|
文件类型: PPT
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的有向弧的重复数或权的集合。