CAJ | 학술논문

讨论了最大速度恒定连续Petri网（CCPN）的分解方法以及如何通过子网分析得到原网的性质。首先给出基于库所归属的分解方法，实现了CCPN的分解。为了保证通过子网分析原网的正确性，对合成网的动态不变性进行了证明，并证明了CCPN子网结构性质与原CCPN网性质的对应关系。最后以实例验证了通过子网分析原网的正确性。
토론료최대속도항정련속Petri망（CCPN）적분해방법이급여하통과자망분석득도원망적성질。수선급출기우고소귀속적분해방법，실현료CCPN적분해。위료보증통과자망분석원망적정학성，대합성망적동태불변성진행료증명，병증명료CCPN자망결구성질여원CCPN망성질적대응관계。최후이실례험증료통과자망분석원망적정학성。
This paper presented a decomposition method for constant speed continuous Petri net(CCPN)based on belonging of places,and it proved that the original CCPN could be obtained by the communion composition of the decomposed subnets.Also, it proved the relationship of the properties between the original CCPN net and the subnet systems.Finally,it verified the proper-ties of the original CCPN could be analyzed by decomposing it to the subnets by a CCPN model.The results demonstrate the ad-vantages of the proposed method.