%0 Journal Article
%T 动态描述逻辑动作间关系的Petri网分析方法研究
%A 马炳先
%A 徐颖蕾
%J 自动化学报
%P 1144-1149
%D 2007
%R 10.1360/aas-007-1144
%X ？针对动态描述逻辑动作理论在描述和分析多个动作间关系(尤其并发关系)时能力的不足,提出对多个动态描述逻辑动作间关系描述和分析的Petri网方法.首先讨论了动态描述逻辑动作的等价Petri网描述,进一步通过对动作描述的推理和各个动作的Petri网共享合成操作,得到多个动态描述逻辑动作的Petri网系统.在此基础上,应用Petri网的相关理论与方法,如可达图分析方法,研究了多个动态描述逻辑动作间关系的分析与判定方法,对动态描述逻辑动作理论的描述和分析能力进行了必要的扩充.
%K 描述逻辑
%K 动态描述逻辑
%K 动作
%K Petri网
%U http://www.aas.net.cn/CN/abstract/abstract13450.shtml