动态描述逻辑动作间关系的Petri网分析方法研究.pdfVIP

第33卷第11期 自动化学报 v0133．No．11 2007年11月 ACTAAUTOMATICASINICA November，2007 动态描述逻辑动作间关系的Petri网分析方法研究 马炳先1 徐颖蕾。 摘要 针对动态描述逻辑动作理论在描述和分析多个动作问关系(尤其并发关系)时能山的不足，提出对多个动态描述逻 辑动作问关系描述和分析的Petri网方法．首先讨论了动态描述逻辑动作的等价Petri网描述．进一步通过对动作描述的推理 法，如可这图分析方法，研究了多个动态描述逻辑动作间关系的分析与判定方法．对动态描述逻辑动作理论的描述和分析能力 进行了必要的扩充． 关键词 描述逻辑，动态描述逻辑，动作，Petri网 中图分类号TP391．9 On Actions withPetriNets DynamicDescriptionLogic Relationships MA