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