基于柔性制造系统的Petri网模型简化规则

为解决Petri网模型中的状态爆炸问题，提出了一种将简化规则应用到Petri网模型中的方法。该方法通过库所和变迁的合并与消除，来达到简化模型的目的。以柔性制造系统的加工站为例，建立加工站的Petri网模型，将简化规则应用到改进的加工站模型中。为了说明简化网保持了原网的外部功能，利用基于时序Petri网的时态逻辑规则进行了证明。结果显示，简化网在保持功能性的基础上，提高了验证和分析的效率。

Petri nets simplification rules based on FMS

To solve the state explosion of Petri nets models,a method of applying simplification rules to Petri nets was put forward.In this method,the models were simplified by combining or removing the places and transitions in Petri nets.Taking a machining station of Flexible Manufacturing System(FMS) as an example,whose Petri net model was constructed to employ simplification rules.Temporal logic rule of temporal Petri nets was used to illuminate the exterior functionality of simplified net.Results indicated that the simplified net not only remained the exterior functionality but also improved efficiency of validation and analysis.