有色Petri网是在经典的Petri网基础上发展起来的一种高级网系统,是一种适于描述异步并发系统的图形工具和数学工具。它以简洁的图......

Petri网是描述异步并发系统的强有力工具,Petri网的精炼是系统分析很有效的分析方法本文主要讨论了Petri网P精炼操作对于行为相关......

柔性制造系统（ＦＭＳ）是一类复杂的异步并发系统，在其设计开发过程中迫切需要利用仿真手段进行辅助支持。该文介绍了一个原型支持工具ＰＩＯＮＥＥＲ－Ｉ，它由基......

State equation method based on incidence matrix ,which shows the structural property of Petri Nets ,has been used widely......

从Petri网的角度，异步并发是指两个或多个事件没有因果关系及由因果关系产生的顺序，与是否同时或是否有统一的时间控制没有关系，异步......