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

摘要：

讨论了基于冲突检测的一阶混杂Petri网动态行为演变方法,首先给出用于一阶混杂Petri网冲突检测的瞬时迁移、延时迁移、指数迁移及区间速率连续迁移等4类迁移间的冲突判定定理；然后给出基于冲突检测的一阶混杂Petri网动态行为演变方法；最后通过混杂系统的一阶混杂Petri网模型说明冲突检测对行为演变分析正确性的重要作用.

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

所属期刊栏目：40

分类号：TP271(自动化技术及设备)

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

在线出版日期：2013-12-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：299-303,封3