Petri网：模型、理论与应用.pdfVIP

Petri网：模型、理论与应用

Petri网，也称为Petri图，是一种用来描述系统事件并发性、

同步性和序性的有向图。Petri网模型被广泛应用于计算机

科学、系统工程、控制工程和化学工程等领域，成为了目前最

流行的并发系统建模工具之一。

Petri网的基本元素

Petri网由一组有向弧和节点组成，包括以下儿个基本元素：

1.库所P（lace）：代表系统中的状态或原料库存等。

2.变迁T（ransition）：代表系统中的事件或操作，用于改变状

态或消耗库存。

3.有向弧A（rc）：连接库所和变迁，表示状态之间的转移或

原料的消耗。

4.标志M（arking）：库所内的标志表示库存的数量或状态。

Petri网的基本形式

Petri网可以表示为二元组N=（P,T,F）,其中：

1.P为库所的集合；

2.T为变迁的集合;

3.F为弧集合，由以下两种类型的弧蛆成：

a)输入弧(Inhibitorarc)：表示一个库所是变迁的前置条件，

但是库所中的标志数量必须为零。

b)常规弧(Reglararc