文件名称：论文研究-基于分解的连续Petri网性质分析方法.pdf
文件大小：746KB
文件格式：PDF
更新时间：2022-08-11 17:04:11
连续Petri网,分解,库所归属,性质分析
讨论了最大速度恒定连续Petri网（CCPN）的分解方法以及如何通过子网分析得到原网的性质。首先给出基于库所归属的分解方法，实现了CCPN的分解。为了保证通过子网分析原网的正确性，对合成网的动态不变性进行了证明，并证明了CCPN子网结构性质与原CCPN网性质的对应关系。最后以实例验证了通过子网分析原网的正确性。