基于冲突判定的混杂Petri网模型行为分析

Model Behavior Analysis of HPN Based on Conflict Decision and Elimination

为了分析基本混杂Petri网模型行为,提出了基本混杂Petri网各迁移间的冲突判定定理,讨论了消解策略,并给出了基于冲突判定和消解的基本混杂Petri网模型行为分析算法。理论分析证明了所提出定理的正确性,实例分析和比较说明了所提出算法的有效性。

To analyse the model behavior of hybrid petri nets（HPN）, the theorem to determine the conflict of a HPN is proposed , and the method to eliminate conflict is developed. A model behavior analysis algorithm for HPN based on conflict decision and elimination is presented. Through analysis and case study, the effectiveness of the developed approach and algorithm are illustrated.