动态描述逻辑动作间关系的Petri网分析方法研究 |
| |
引用本文: | 马炳先,徐颖蕾.动态描述逻辑动作间关系的Petri网分析方法研究[J].自动化学报,2007,33(11):1144-1149. |
| |
作者姓名: | 马炳先 徐颖蕾 |
| |
作者单位: | 1.济南大学信息科学与工程学院 济南 250022 |
| |
基金项目: | 国家青年科学基金;山东省优秀中青年科学家科研奖励基金;济南大学博士科研基金 |
| |
摘 要: | 针对动态描述逻辑动作理论在描述和分析多个动作间关系(尤其并发关系)时能力的不足, 提出对多个动态描述逻辑动作间关系描述和分析的 Petri 网方法. 首先讨论了动态描述逻辑动作的等价 Petri 网描述, 进一步通过对动作描述的推理和各个动作的 Petri 网共享合成操作, 得到多个动态描述逻辑动作的 Petri 网系统. 在此基础上, 应用 Petri 网的相关理论与方法, 如可达图分析方法, 研究了多个动态描述逻辑动作间关系的分析与判定方法, 对动态描述逻辑动作理论的描述和分析能力进行了必要的扩充.
|
关 键 词: | 描述逻辑 动态描述逻辑 动作 Petri网 |
收稿时间: | 2006-5-19 |
修稿时间: | 2006-05-19 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
| 点击此处可从《自动化学报》浏览原始摘要信息 |
|
点击此处可从《自动化学报》下载全文 |
|