petri网基本概念

Petri网是对离散并行系统的数学表示。
Petri网既有严格的数学表述方式，也有直观的图形表达方式，既有丰富的系统描述手段和系统行为分析技术。

Petri网用于描述和分析系统中的控制流和信息流，尤其是那些有异步和并发活动的系统。

经典的Petri网是简单的过程模型，由两种节点：库所和变迁，有向弧，以及令牌等元素组成的。

结构
(1) Petri网的元素：
 库所（Place）圆形节点
 变迁（Transition）方形节点
 有向弧（Connection）是库所和变迁之间的有向弧
 令牌（Token）是库所中的动态对象，可以从一个库所移动到另一个库所。

规则
 有向弧是有方向的
 两个库所或变迁之间不允许有弧
 库所可以拥有任意数量的令牌
 行为
    如果一个变迁的每个输入库所（input place）都拥有令牌，该变迁即为被允许(enable)。一个变迁被允许时，变迁将发生(fire)，输入库所(input place)的令牌被消耗，同时为输出库所(output place)产生令牌。

下图是一个基本模型；

那个黑的好像是令牌，是可以流动的；我还没时间看；

有嘛用？

可以对业务流程建模；也许辅助大型MIS系统开发能有帮助，我还没听有工程师描述过这方面的情况；