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

Petri网：模型、理论与应用

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

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

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

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

Petri网的基本元素

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

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

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

态或消耗库存。

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

原料的消耗。

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

Petri网的基本形式

Petri网可以表示为二元组N=(P,T,F)，其中：

1.P为库所的集合；

2.T为变迁的集合；

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

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

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

b)常规弧（Regulararc）：表示一个库所是变迁的前置条件，

库所中的标志数量可以为任意值。

Petri网的理论

Petri网理论主要研究Petri网的语法、分析和应