Research on Completeness in Decomposition and Composition of Petri Nets

摘要：

　　Composition and decomposition can be used in refining and combination of Petri nets.Based on the relation of in preconditions and consequences of Petri node, analysis the completeness of the composition and decomposition operation and put forward methods to improve the completeness, in this way can design correct and consistent Petri nets to describe the system.

关键词： Decomposition Composition Completeness

作者: Chunlong Hou Zeng Ma Xinzhan Qi

作者单位: Navy Submarine Academy,Qingdao,266041,China

会议类型: 国际会议

会议名称: the 3nd International Conference on Digital Manufacturing & Automation (第三届数字制造与自动化国际会议(ICDMA 2012))

会议地点: 桂林

会议语种:英文

页码: 297-303

在线出版日期: 2012-08-01（万方平台首次上网日期，不代表论文的发表时间）