Petri网的流分解  

Petri Net String Decomposition

作　　者：吴振寰[1] 高莹[1] 吴哲辉[1] 

机构地区：[1]山东科技大学信息学院,青岛266510

出　　处：《系统仿真学报》2008年第S2期33-37,共5页Journal of System Simulation

基　　金：国家自然科学基金(60673053)

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

关 键 词：PETRI网 同步合成 流分解 动态性质 结构性质 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]