Petri网笔记

(1) Petri网的元素

+ 库所（Place）圆形节点

+ 变迁（Transition）方形节点

+ 有向弧（Connection）是库所和变迁之间的有向弧

+ 令牌（Token）是库所中的动态对象，可以从一个库所移动到另一个库所。

+ 有向弧是有方向的

+ 两个库所或变迁之间不允许有弧

+ 库所可以拥有任意数量的令牌

o 行为

如果一个变迁的每个输入库所（input place）都拥有令牌，该变迁即为被允许(enable)。一个变迁被允许时，变迁将发生(fire)，输入库所(input place)的令牌被消耗，同时为输出库所(output place)产生令牌。

+ 变迁的发生是完整的，也就是说，没有一个变迁只发生了一半的可能性。

+ 有两个或多个变迁都被允许的可能，但是一次只能发生一个变迁。这种情况下变迁发生的顺序没有定义。

+ 如果出现一个变迁，其输入库所的个数与输出库所的个数不相等，令牌的个数将发生变化，也就是说，令牌数目不守恒。

+  Petri网络是静态的，也就是说，不存在发生了一个变迁之后忽然冒出另一个变迁或者库所，从而改变Petri网结构的可能。

+ Petri网的状态由令牌在库所的分布决定。也就是说，变迁发生完毕、下一个变迁等待发生的时候才有确定的状态，正在发生变迁的时候是没有一个确定的状态的。

两个变迁争夺一个令牌的情形被称之为冲突。当发生冲突的时候，由于Petri网的时序是不确定的，因此具体哪个变迁得以发生也是不确定的。实际应用中，往往需要避免这种情形。用于描述现象的Petri网也可能自然出现冲突，这表明我们对于变迁发生的条件没有完全了解。

多个弧连接两个节点的情况。在输入库所和变迁之间的弧的个数决定了该变迁变为被允许需要的令牌的个数。弧的个数决定了消耗/产生的令牌的个数。