Petri网分解的保性条件分析

Petri网的分解技术是用于复杂网系统分析的一种有效手段 .基于库所指标的 Petri网分解方法 ,将一个复杂的网系统分解成结构满足 |· t|≤且 |t· |≤ 1的简单子网 ,通过分解得到的子网与原系统的状态和行为之间存在着一种投影关系 .但是 ,子网本身也增加了一些不必要的状态和行为 (原网系统在子网上的投影只是子网状态和行为的一个子集 ) .本文提出分解过程中的状态保性和行为保性的概念 ,证明了分解过程中行为和状态保性的充要条件 ,基于标识可达图给出了相应的判定算法 ,对复杂系统的 Petri网分析方法提供了更为有效的理论和可行的技术

Research on Invariant Decomposition Technology for Petri Net Based on the Index of Places

With the decomposition method of Petri net by assigning an index for the place set, there is a projection relation of the reachable marking sets and the languages between the original net system and the sub net system. But, some unnecessary states and languages are also added in the sub net systems. In this paper we have a deep research on this decomposition method, and some necessary and sufficient conditions for keeping the states and languages invariant between the original system and the sub net system are obtained. In the end of this paper, an algorithm to decide the states and languages invariant is given based on the reachable marking graph.