Petri nets defined in 1962 by Carl Adam Petri,extend state machines with a notion of concurrency Execution(transition)of Petri nets is nondeterministic,since multiple transitions can be enabled at the same time. Petri nets只给出模型，而没有演算。但是Petri nets,是一种真并发模 型，可以刻划更多的并发现象，如并发、矛盾及接触等。 Petri nets描述的系统中不存在一个统一的时钟，这一点也是网论的本质。 总之： [并发]Petri nets是一种真并发模型，用它可以描述更多的并发现象。针 对分布式对象系统中的多输入流并发现象，可考虑采用Petri nets [交互]Petri nets只有模型而没有没演算，利用它来验证系统的计算和语 义特性较为困难。不过，可以将Petri nets描述并发的思想应用到刻画系统 组件的交互之中。 Tian Zhang Nanjing UniversityTian Zhang @ Nanjing University 7 Petri nets „ defined in 1962 by Carl Adam Petri, extend state machines with a notion of concurrency „ Execution (transition) of Petri nets is nondeterministic, since multiple transitions can be enabled at the same time. „ Petri nets只给出模型，而没有演算。但是Petri nets是一种真并发模 型，可以刻划更多的并发现象，如并发、矛盾及接触等。 „ Petri nets描述的系统中不存在一个统一的时钟，这一点也是网论的本质。 „ 总之： ‰ [并发] Petri nets是一种真并发模型，用它可以描述更多的并发现象。针 对分布式对象系统中的多输入流并发现象，可考虑采用Petri nets ‰ [交互] Petri nets只有模型而没有没演算，利用它来验证系统的计算和语 义特性较为困难。不过，可以将Petri nets描述并发的思想应用到刻画系统 组件的交互之中