基于冲突检测的一阶混杂Petri网动态行为演变方法  

Dynamic Behavior Evolution for First-order Hybrid Petri Nets Based on Conflict Checking

作　　者：廖伟志[1,2] 李文敬[3] 陆建波[3] 

机构地区：[1]嘉兴学院数理与信息工程学院,嘉兴314001 [2]广西大学广西理工科学实验中心,南宁530004 [3]广西师范学院计算机与信息工程学院,南宁530023

出　　处：《计算机科学》2013年第11期299-303,F0003,共6页Computer Science

基　　金：广西理工科学实验中心经费(LGZXKF201108)资助

摘　　要：讨论了基于冲突检测的一阶混杂Petri网动态行为演变方法,首先给出用于一阶混杂Petri网冲突检测的瞬时迁移、延时迁移、指数迁移及区间速率连续迁移等4类迁移间的冲突判定定理;然后给出基于冲突检测的一阶混杂Petri网动态行为演变方法;最后通过混杂系统的一阶混杂Petri网模型说明冲突检测对行为演变分析正确性的重要作用。The problem of dynamic behavior evolution for a First-Order Hybrid Petri Nets（FOHPN） was discussed. The theorem to determine the conflict of a FOHPN was proposed firstly. Secondly, a dynamic behavior evolution for FOHPN based on conflict checking and resolution was presented. Finally, through case study, the effectiveness of the developed approach was illustrated.

关 键 词：一阶混杂Petri网 冲突检测 动态行为演变 冲突消解 

分 类 号：TP271[自动化与计算机技术—检测技术与自动化装置]