论文部分内容阅读
针对动态描述逻辑动作理论存描述和分析多个动作间关系（尤其并发关系）时能力的不足，提出对多个动态描述逻辑动作间关系描述和分析的Petri网方法、首先讨论了动态描述逻辑动作的等价Petri网描述，进一步通过对动作描述的推理和各个动作的Petri网共享合成操作，得到多个动态描述逻辑动作的Petri网系统．在此基础上，戍用Petri网的相关理论与方法，如可达图分析方法，研究了多个动态描述逻辑动作间关系的分析与判定方法，对动态描述逻辑动作理论的描述和分析能力进行了必要的扩充．