%0 Journal Article
%T 基于冲突检测的一阶混杂petri网动态行为演变方法
%A 廖伟志？
%A 李文敬？
%A 陆建波？
%J 计算机科学
%D 2013
%X 讨论了基于冲突检测的一阶混杂petri网动态行为演变方法,首先给出用于一阶混杂petri网冲突检测的瞬时迁移、延时迁移、指数迁移及区间速率连续迁移等4类迁移间的冲突判定定理；然后给出基于冲突检测的一阶混杂petri网动态行为演变方法；最后通过混杂系统的一阶混杂petri网模型说明冲突检测对行为演变分析正确性的重要作用。
%K 一阶混杂petri网
%K 冲突检测
%K 动态行为演变
%K 冲突消解
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20131161&flag=1