计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2013年
11期
299-303,封3
,共6页
廖伟志%李文敬%陆建波
廖偉誌%李文敬%陸建波
료위지%리문경%륙건파
一阶混杂Petri网%冲突检测%动态行为演变%冲突消解
一階混雜Petri網%遲突檢測%動態行為縯變%遲突消解
일계혼잡Petri망%충돌검측%동태행위연변%충돌소해
First-order hybrid petri nets%Conflict checking%Dynamic behavior evolution%Conflict resolution
讨论了基于冲突检测的一阶混杂Petri网动态行为演变方法,首先给出用于一阶混杂Petri网冲突检测的瞬时迁移、延时迁移、指数迁移及区间速率连续迁移等4类迁移间的冲突判定定理;然后给出基于冲突检测的一阶混杂Petri网动态行为演变方法;最后通过混杂系统的一阶混杂Petri网模型说明冲突检测对行为演变分析正确性的重要作用.
討論瞭基于遲突檢測的一階混雜Petri網動態行為縯變方法,首先給齣用于一階混雜Petri網遲突檢測的瞬時遷移、延時遷移、指數遷移及區間速率連續遷移等4類遷移間的遲突判定定理;然後給齣基于遲突檢測的一階混雜Petri網動態行為縯變方法;最後通過混雜繫統的一階混雜Petri網模型說明遲突檢測對行為縯變分析正確性的重要作用.
토론료기우충돌검측적일계혼잡Petri망동태행위연변방법,수선급출용우일계혼잡Petri망충돌검측적순시천이、연시천이、지수천이급구간속솔련속천이등4류천이간적충돌판정정리;연후급출기우충돌검측적일계혼잡Petri망동태행위연변방법;최후통과혼잡계통적일계혼잡Petri망모형설명충돌검측대행위연변분석정학성적중요작용.