基于库所指标分解的Petri网活性与公平性分析

Analysis of Liveness and Fairness of Petri Net Decomposed on the Index of Places

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

With the decomposition method of Petri net by assigning an index for the place set, the structure of the decomposed sub net systems are simple and the their liveness of fairness can analyzed easily. This paper analyzed the relationships of the liveness and fairness between the between the original net system and the sub net systems. With the results obtained, we can analyze the liveness and fairness of a structure complex Petri net with the decomposition method in which it is decomposed into many structure simple net systems.