计算机工程与科学2013,Vol.35Issue(4):125-129,5.DOI:10.3969/j.issn.1007-130X.2013.04.023
Petri网并分解技术及其应用研究
Petri net union decomposition technology and its application
摘要
Abstract
According to the union decomposition technology of Petri net, this paper proposed a new method that decomposes an acyclic and multi-output net system into several single output subnets and proved its correctness. Firstly, the Petri net model for the fault diagnosis system of production manufacturing and E-commerce manufacturer was built up. Secondly, the proposed method was adopted to decompose the built Petri net model. Thirdly, the consistency between the subnets status after decomposition and the initial net status was verified by calculation. As a consequence, the paper presented a new feasible thought to Petri Net applications in relative large scale systems.关键词
Petri网/化简/并分解/建模Key words
Petri net /simplify/ union decomposition/ modeling分类
信息技术与安全科学引用本文复制引用
周彦,乐晓波,匡迎春..Petri网并分解技术及其应用研究[J].计算机工程与科学,2013,35(4):125-129,5.基金项目
湖南省自然科学基金资助项目(08JJ3124) (08JJ3124)