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网并分解的定义,提出了一种可将无环多输出的网系统分解为若干个单输出库所子网的新技术,并对其正确性进行了证明.对生产制造故障诊断系统和电子商务制造商建立了Petri网模型,运用所提出的分解技术对所建立的模型进行分解,通过计算验证了分解后的各子网状态与原网的状态的一致性,为Petri网应用于较大规模的相关系统提供了一条可行的思路.
展开▼
