论文部分内容阅读
提出了一种面向柔性制造系统的基于共享“自治子网”融合的“至底向上”的Petri网结构化建模方法,并基于网络的结构特征:不变结构和虹吸结构,对所得模型的活性、保守性和可逆性进行了理论分析。证明了所得模型的保守性,并进一步刻画了模型活性与“虹吸”结构之间存在的等价关系。基于这一充要条件,通过在模型中以“自治子网”融合的方式加入特定条件的控制子网来建立一种活性保障策略,保证模型的活性。这种基于模型结构特性得到的结论对所得模型具有普遍意义,从方法学上保证所得的柔性制造系统的Petri网模型的活性、保守性和可逆性等重要属性。给出的实例展示了该方法的有效性。
A Petri net structured modeling approach based on the shared “autonomic subnet” fusion “bottom-up” oriented flexible manufacturing system is proposed. Based on the structural features of the network: invariant structure and siphon structure, Activity, conservation and reversibility of a theoretical analysis. It proves the conservativeness of the model and further characterizes the equivalence between the model activity and the “siphon” structure. Based on this necessary and sufficient condition, an activity protection strategy is established by adding control subnets under certain conditions in a “self-subnet” fusion mode to ensure the model’s activity. This conclusion based on the structural characteristics of the model is of general significance to the obtained model, and guarantees the important properties such as activity, conservatism and reversibility of the Petri net model of the resulting flexible manufacturing system from the perspective of methodology. The given example shows the effectiveness of this method.