宋亚勤，汪静（西华大学计算机与软件工程学院，成都　610039）

一种新型扩展Petri网理论方法研究

宋亚勤，汪静
（西华大学计算机与软件工程学院，成都610039）

0　引言

Petri网是一种图形化的建模方法。使用Petri网对系统建模不仅可以刻画系统的结构，而且可以描述系统的动态行为（如系统的状态变化等）。此外，Petri网可以清晰地反映系统从一个状态过渡到下一个状态，准确地描述系统的整体运行状态，实现从宏观上分析建模系统的各项性能指标。在表达、分析方面，Petri网既有直观的图形表示，又可以引入许多数学方法对其性质进行准确的数学分析和严格的理论验证。对于复杂的系统，Petri网可以对其进行分层描述，逐步求精，便于利用面向对象的理论方法进行分析、研究。与其他系统网模型比较，对真并发的恰切描述是Carl Adam Petri的独特优势之一。然而，随着Petri网在系统建模中应用的深入，原有的Petri网类型已无法对一些复杂的系统进行建模，抑或使所建模型很复杂，给后续的分析验证工作带来极大的麻烦，在这种情况下，许多新的Petri网类型应运而生。

1　带抑制弧和使能弧的Petri网

定义1·t=｛p∈P|（p，t）∈F｝表示变迁t的控制前集，t·=｛p∈P|（t，p）∈F｝表示变迁t的控制后集，tI=｛p∈P| （p，t）∈I｝表示变迁t的抑制集，tE=｛p∈P|（p，t）∈E｝表示变迁t的使能集。

定义2：带抑制弧和使能弧的Petri网是一个六元组

其中，N=（P，T；F）是一个网，M是网的一个标识，I⊂P×T称为抑制弧集，E⊂P×T称为使能弧集，满足（I∪E）∩F=Ø（即∀p∈P∧∈∀t∈T：（p，t）∈F→（p，t）∉I））。

（1）对于t∈T，如果

①指向它的是抑制弧又满足

则t在标识M下有发生权，记为M［t＞。

②指向它的是使能弧又满足

则t在标识M下有发生权，同样记为M［t＞。……