论文部分内容阅读
Petri网的分解技术是用于复杂网系统分析的一种有效手段.基于库所指标的Petri网分解方法,将一个复杂的网系统分解成结构简单的子网,分解后的子网保持原网系统的语言行为不变当且仅当具有公共变迁的子网的可达图关于公共变迁是同构的.若分解过程中保持系统的语言行为不变,则在Petri网的活性和公平性方面有着对应关系.本文基于分解给出了Petri网活性判定的充要条件和公平性判定的定理,对基于分解的复杂系统的Petri网分析方法提供了更为有效的理论和可行的技术.