Abstract：In order to solve the Problem of structure analysis for Colored Petri nets (CPN) in large complex system engineering applications, a kind of unfolding approach for CPN is proposed. Based on the proposition logic represented with the Petri Nets, the semantics of the CPN SML (Standard Meta Language) are discussed. After that, the unfolding approach of CPN is proposed including the steps and unfolding algorithm based on the semantics verification. And the approach is exemplified on the programmed operation platform, which approves the approach is feasible and e ective to to make the CPN strucure analysis widely used in complex engieering models.
基金资助:国家自然科学基金(61273207) 资助
引用本文:
廖晶静. SML 语义检验的着色Petri 网展开算法[J]. 指挥与控制学报, 2018, 4(2): 170-174.
LIAO Jing-Jing. Unfoldings of Colored Petri Nets with SML Semantic Checking. Journal of Command and Control, 2018, 4(2): 170-174.
2018, Vol. 4 
