摘要

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