专家寄语

正Petri网是20世纪60年代由C.A.Petri发明的分布式系统的建模和分析工具。Petri网既有直观的图形表达方式,也有严格的数学表述方式。作为一种系统模型,Petri网不仅可以刻画系统的结构,而且可以描述系统的动态行为。Petri网自身具备的可运行性方便了系统形式化描述级的模拟,可以用于表达不同抽象级上的系统概念并清楚地描述整个系统的运作过程。Petri网可以对复杂的系统进行分层描述,逐步求精,使其便于同面向对象的思想方法相沟通。Petri网没有人为的控制流,直观地表示了非确定性。