stochastic petri net 学习笔记1

一 网与子网

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：

冲撞

混惑