随机Petri网的规则

+ 有向弧是有方向的

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

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

o 行为

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

+ 变迁的发生是原子的

+ 有两个变迁都被允许的可能，但是一次只能发生一个变迁

+ 如果出现一个变迁，其输入库所的个数与输出库所的个数不相等，令牌的个数将发生变化

+ Petri网络是静态的

+ Petri网的状态由令牌在库所的分布决定

o Petri网流程建模

一个流程的状态是由在场所中的令牌建模的，状态的变迁是由变迁建模的。令牌表示事物（人，货物，机器），信息，条件，或对象的状态； 库所代表库所，通道或地理位置；变迁代表事件，转化或传输。

一个流程有当前状态，可达状态，不可达状态。

o 经典Petri网的局限性

+ 没有测试库所中零令牌的能力

+ 模型容易变得很庞大

+ 模型不能反映时间方面的内容

+ 不支持构造大规模模型，如自顶向下或自底向上