Author(s): WU Zhen-huan, GAO Ying, WU Zhe-hui
Pages: 33-37
Year: 2008 Issue:  S2
Journal: Journal of System Simulation
Keyword:  Petri网; 同步合成; 流分解; 动态性质; 结构性质;
Abstract: Petri网的合成和分解是复杂系统建模和分析的重要辅助手段。作为同步合成的逆运算,给出了Petri网的流分解的定义;讨论了原网与流分解子网的关联矩阵之间的关系。通过这种关系,得出了关于原网与流分解子网的S-不变量和T-不变量的两个计算公式。根据同步合成对Petri网的各种动态性质和结构性质有良好的保持性以及流分解是同步合成的逆运算,可以推知流分解运算对Petri网的各种动态性质和结构性质也有良好的保持性。