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

关键词：petri网 化简 并分解 建模 

单位：长沙理工大学计算机与通信工程学院 湖南长沙410114 湖南农业大学计算机学院 湖南长沙410128