工作流-Petri网概念(1)

Petri网由库和变迁组成，用圆圈表示库所，用矩形表示变迁。

Petri网中的库所和变迁可以用有向弧连接。

共有两种类型的弧：

1. 从库所到变迁
2. 从变迁到库所

    也就是说从库所到库所，或从变迁到变迁的弧都是不允许的。

 

库所可以容纳标记（token），标记用黑点表示。

 

    变迁从库所中获得标记，然后输出到下一个库所中，我们把这一行为称为对变迁的实施（firing）。变迁只有满足可实施的条件才能实施，也就是，只有每个输入库所都至少有一个标记，变迁才被“装弹”，实施就绪。实施时，变迁消耗掉来自输入库所的标记，并为输出库所生产标记。

   

    变迁是Petri网中的主动元素。通过实施变迁，过程从一个状态转到另一个状态。因此变迁经常表示事件、操作、转换或传输。

   

    库所是Petri网中的被动元素，它们不能改变网的状态，库所通常表示媒介、缓冲器、地理位置、（子）状态、阶级或条件。

   

    标记通常表示对象。这些对象可能是具体的事物，也可能是抽象的信息。

 

高级Petri网:

    传统Petri网技术在实际运用中还存在一些问题，所以需要对其中扩展，最重要的三种扩展是：

1. 颜色扩展
2. 时间扩展
3.   层次扩展