Petri网的流分解
Petri网的合成和分解是复杂系统建模和分析的重要辅助手段。作为同步合成的逆运算,给出了Petri网的流分解的定义;讨论了原网与流分解子网的关联矩阵之间的关系。通过这种关系,得出了关于原网与流分解子网的S-不变量和T-不变量的两个计算公式。根据同步合成对Petri网的各种动态性质和结构性质有良好的保持性以及流分解是同步合成的逆运算,可以推知流分解运算对Petri网的各种动态性质和结构性质也有良好的保持性。
Petri网 同步合成 流分解 动态性质
吴振寰 高莹 吴哲辉
山东科技大学信息学院,青岛 266510
国内会议
天津
中文
33-37
2009-08-22（万方平台首次上网日期，不代表论文的发表时间）