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

摘要

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