Petri网合成理论及应用综述

A Survey of Theories and Application of Synthesis Techniques for Petri Nets

对于建模和分析物理系统的模型,Petri网在处理并发和冲突方面具有强大的能力。Petri网合成技术将小型Petri网通过一组子网的某些共享位置、某些共享变迁按合成规则综合成复杂网系统,它是Petri网系统建模中一种重要的自底向上的建模方法,适用于具有异步、并发特征的复杂应用环境。综述了Petri网系统两种合成操作(共享合成、同步合成)理论,然后介绍了国内外研究状况,最后指出了合成技术在柔性制造系统(FMS)和多媒体系统等应用方面的发展热点。

As models of modeling and analyzing physical systems, Petri nets have shown their abilities to deal with concurrency and conflict. Synthesis techniques consisting of individual sub - systems are combined through merging of places and/or transitions into a larger system. It is an important bottom - up approach for modeling Petri net systems, and can be adopted for modeling parallel and distributed application environments. This paper summarizes theories into two synthesis techniques, namely, synchronous and sharing techniques. Secondly,it presents a survey of research results regarding of synthesis techniques for Petri nets. Finally, some hot spots are pointed out such as FMS and multimedia system.