Petri网由库和变迁组成,用圆圈表示库所,用矩形表示变迁。
Petri网中的库所和变迁可以用有向弧连接。
共有两种类型的弧:
-
从库所到变迁
-
从变迁到库所
也就是说从库所到库所,或从变迁到变迁的弧都是不允许的。
库所可以容纳标记(token),标记用黑点表示。
变迁从库所中获得标记,然后输出到下一个库所中,我们把这一行为称为对变迁的实施(firing)。变迁只有满足可实施的条件才能实施,也就是,只有每个输入库所都至少有一个标记,变迁才被“装弹”,实施就绪。实施时,变迁消耗掉来自输入库所的标记,并为输出库所生产标记。
变迁是Petri网中的主动元素。通过实施变迁,过程从一个状态转到另一个状态。因此变迁经常表示事件、操作、转换或传输。
库所是Petri网中的被动元素,它们不能改变网的状态,库所通常表示媒介、缓冲器、地理位置、(子)状态、阶级或条件。
标记通常表示对象。这些对象可能是具体的事物,也可能是抽象的信息。
高级Petri网:
传统Petri网技术在实际运用中还存在一些问题,所以需要对其中扩展,最重要的三种扩展是:
-
颜色扩展
-
时间扩展
-
层次扩展