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

Model Behavior Analysis of HPN Based on Conflict Decision and Elimination

作　　者：陆建波[1] 廖伟志[1] 

机构地区：[1]广西师范学院计算机与信息工程学院,广西南宁530001

出　　处：《广西师范学院学报（自然科学版）》2011年第3期77-81,共5页Journal of Guangxi Teachers Education University(Natural Science Edition)

基　　金：国家自然科学基金项目(60864001);广西自然科学基金资助项目(0991105);广西教育厅科研项目(200807MS113)

摘　　要：为了分析基本混杂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.

关 键 词：混杂PETRI网 冲突 消解 模型行为分析 

分 类 号：TP393.028[自动化与计算机技术—计算机应用技术]