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

• 作者: 徐颖蕾 马炳先
• 来源期刊: 自动化学报
• 学科: 工学
• 关键词: 描述逻辑 动态描述逻辑 动作 Petri网
• 年，卷（期）: 2007,（11）
• 所属期刊栏目: 论文与报告
• 页码范围: 1144-1149
• 页数: 6页
• 分类号: TP391.9
• 字数: 6750字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马炳先	济南大学信息科学与工程学院	7	65	5.0	7.0
2	徐颖蕾	山东财政学院计算机信息工程学院	7	41	4.0	6.0