面向柔性制造系统的基于“自治子网”的Petri网结构化建模方法及其活性保障策略

提出了一种面向柔性制造系统的基于共享“自治子网”融合的“至底向上”的Petri网结构化建模方法,并基于网络的结构特征:不变结构和虹吸结构,对所得模型的活性、保守性和可逆性进行了理论分析。证明了所得模型的保守性,并进一步刻画了模型活性与“虹吸”结构之间存在的等价关系。基于这一充要条件,通过在模型中以“自治子网”融合的方式加入特定条件的控制子网来建立一种活性保障策略,保证模型的活性。这种基于模型结构特性得到的结论对所得模型具有普遍意义,从方法学上保证所得的柔性制造系统的Petri网模型的活性、保守性和可逆性等重要属性。给出的实例展示了该方法的有效性。