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

冲撞

混惑

你可能感兴趣的:(学习笔记)