工作流-Petri网概念(2) (学习笔记)

颜色扩展使得图形无法表示网的全部信息。对每个变迁需要指出如下因素：
l 是否有前置条件，如果有，则必须准确定义。
l 每次实施每个输出库所送出的标记个数。该值可能依赖于被消耗的标记的值。
l 生产来的标记的值，可能也依赖于被消耗掉的标记的值。

采用时间扩展，标记将时间戳作为一个值，该时间戳指明标记自何时可用。
变迁的就绪时刻是它的输入库所包含足够的可用标记的最早时刻。标记的消耗按照先进先出（FIFO）规则。拥有最早时间戳的标记首先被消耗。
具有最早就绪时刻的变迁首先实施。如果有多个变迁有相同的就绪时刻，就出现了不确定性选择。而且，一个变迁的实施可能影响另外一个变迁的就绪时刻。
为了层次化地构造Petri网，我们引入一个新的构造块：双边框正方形。我们称这个元素为过程，它表示一个由库所、变迁、弧和子过程构成的子网。
因为一个过程能由子过程构成，其子过程又能由更深层次的子过程构成，从而可以层次化地构造一个复杂的过程。
对复杂过程建模时，层次化的描述方法通常是绝对必要的。其实就是分而治之的策略。
子过程的另一个优点，就是能够重用先前定义的过程。