一 网与子网
definition 1：网
N = (S,T;F)
1）S_元，库所，位置 -> place -> 圆圈
2）T_元，变迁 -> transition -> 矩形
3）流关系 -> flow relation -> 有向边
definition 2：
x的前集 or 输入集
x的后集 or 输出集
x的外延
definition 3：
1）纯网（pure net）:不含自环的网
2）简单网（sample net）
3）T-图（T-graph）
4）S-图（S-graph）
5）自由选择网（free-choice net）
6）扩充的自由选择网（extended free-choice net）
definition 4：
1）对偶网（dual net）
2）逆 网（inversed net）
definition 5：
子网
definition 6：
1）网N关于库所子集S1的外延子网
2）网N关于库所子集S1的内连子网
definition 7：
1）网N关于变迁子集T1的外延子网
2）网N关于变迁子集T1的内连子网
二 标识网与网系统
definition 8：
1）网N的一个标示（marking）
2）标识网（marked net）
definition 9：
1)变迁t在标示M有发生权（enabled）: M[t>
2）M[t>M'
满足此定义的网为原型petri网（original petri net）
三 库所/变迁系统与加权petri网
definition 10：
六元组（S,T;F,K,W,M）:库所/变迁系统（place/transition system）
1)（S,T;F）是一个网
W：权函数（weighted function）
K：容量函数（capacity function）
M：标示
2）变迁发生规则
3）五元组(S,T;F,K,W)为P/T系统的基网
四 基本网系统与条件事件系统
基本网系统（elementary net system）
EN系统：四元组 （B,E;F,c）
definition 11：
1）条件集（condition set）
事件集（event set）
情态（case）
2）c[e>
3）c[e>c'
definition 12：
完全情态集（complete set of cases）
definition 13：
条件事件系统（condition/event system）
C/E系统：四元组 （B,E;F,C）
五 并发与冲突
definition 14：
并发
一步发生权
definition 15：
顺序关系
definition 16：
冲突关系
definition 17：
冲撞
混惑