自动化学报
自動化學報
자동화학보
ACTA AUTOMATICA SINICA
2007年
11期
1144-1149
,共6页
描述逻辑%动态描述逻辑%动作%Petri网
描述邏輯%動態描述邏輯%動作%Petri網
묘술라집%동태묘술라집%동작%Petri망
针对动态描述逻辑动作理论在描述和分析多个动作间关系(尤其并发关系)时能力的不足,提出对多个动态描述逻辑动作间关系描述和分析的Petri网方法.首先讨论了动态描述逻辑动作的等价Petri网描述,进一步通过对动作描述的推理和各个动作的Petri网共享合成操作,得到多个动态描述逻辑动作的Petri网系统.在此基础上,应用Petri网的相关理论与方法,如可达图分析方法,研究了多个动态描述逻辑动作间关系的分析与判定方法,对动态描述逻辑动作理论的描述和分析能力进行了必要的扩充.
針對動態描述邏輯動作理論在描述和分析多箇動作間關繫(尤其併髮關繫)時能力的不足,提齣對多箇動態描述邏輯動作間關繫描述和分析的Petri網方法.首先討論瞭動態描述邏輯動作的等價Petri網描述,進一步通過對動作描述的推理和各箇動作的Petri網共享閤成操作,得到多箇動態描述邏輯動作的Petri網繫統.在此基礎上,應用Petri網的相關理論與方法,如可達圖分析方法,研究瞭多箇動態描述邏輯動作間關繫的分析與判定方法,對動態描述邏輯動作理論的描述和分析能力進行瞭必要的擴充.
침대동태묘술라집동작이론재묘술화분석다개동작간관계(우기병발관계)시능력적불족,제출대다개동태묘술라집동작간관계묘술화분석적Petri망방법.수선토론료동태묘술라집동작적등개Petri망묘술,진일보통과대동작묘술적추리화각개동작적Petri망공향합성조작,득도다개동태묘술라집동작적Petri망계통.재차기출상,응용Petri망적상관이론여방법,여가체도분석방법,연구료다개동태묘술라집동작간관계적분석여판정방법,대동태묘술라집동작이론적묘술화분석능력진행료필요적확충.
