【摘要】 Petri网的合成和分解是复杂系统建模和分析的重要辅助手段。作为同步合成的逆运算,给出了Petri网的流分解的定义;讨论了原网与流分解子网的关联矩阵之间的关系。通过这种关系,得出了关于原网与流分解子网的S-不变量和T-不变量的两个计算公式。根据同步合成对Petri网的各种动态性质和结构性质有良好的保持性以及流分解是同步合成的逆运算,可以推知流分解运算对Petri网的各种动态性质和结构性质也有良好的保持性。更多还原

【Abstract】 Composition and decomposition of Petri nets are important assistant means for modeling and analysis of complex systems.As the inverse of synchronous composition,the definition of string decomposition is given;the relationship between the incidence matrix of the original net and the incidence matrices of the subnets obtained from string decomposition is discussed.Based on this relationship,two formulas for computing S-invariant and T-invariant can be obtained.It is easy to know that the behavioral properties and structural properties of Petri nets are maintained wholly by the string decomposition,because they are maintained wholly by the synchronous composition and string decomposition is the inverse of synchronous composition.更多还原