2.845

2023影响因子

(CJCR)

  • 中文核心
  • EI
  • 中国科技核心
  • Scopus
  • CSCD
  • 英国科学文摘

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

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

马炳先 徐颖蕾

马炳先, 徐颖蕾. 动态描述逻辑动作间关系的Petri网分析方法研究. 自动化学报, 2007, 33(11): 1144-1149. doi: 10.1360/aas-007-1144
引用本文: 马炳先, 徐颖蕾. 动态描述逻辑动作间关系的Petri网分析方法研究. 自动化学报, 2007, 33(11): 1144-1149. doi: 10.1360/aas-007-1144
MA Bing-Xian, XU Ying-Lei. On Dynamic Description Logic Actions Relationships with Petri Nets. ACTA AUTOMATICA SINICA, 2007, 33(11): 1144-1149. doi: 10.1360/aas-007-1144
Citation: MA Bing-Xian, XU Ying-Lei. On Dynamic Description Logic Actions Relationships with Petri Nets. ACTA AUTOMATICA SINICA, 2007, 33(11): 1144-1149. doi: 10.1360/aas-007-1144

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

doi: 10.1360/aas-007-1144
详细信息
    通讯作者:

    马炳先

  • 中图分类号: TP391.9

On Dynamic Description Logic Actions Relationships with Petri Nets

More Information
    Corresponding author: MA Bing-Xian
  • 摘要: 针对动态描述逻辑动作理论在描述和分析多个动作间关系(尤其并发关系)时能力的不足, 提出对多个动态描述逻辑动作间关系描述和分析的 Petri 网方法. 首先讨论了动态描述逻辑动作的等价 Petri 网描述, 进一步通过对动作描述的推理和各个动作的 Petri 网共享合成操作, 得到多个动态描述逻辑动作的 Petri 网系统. 在此基础上, 应用 Petri 网的相关理论与方法, 如可达图分析方法, 研究了多个动态描述逻辑动作间关系的分析与判定方法, 对动态描述逻辑动作理论的描述和分析能力进行了必要的扩充.
  • 加载中
计量
  • 文章访问数:  3033
  • HTML全文浏览量:  73
  • PDF下载量:  1481
  • 被引次数: 0
出版历程
  • 收稿日期:  2006-05-19
  • 修回日期:  2007-04-25
  • 刊出日期:  2007-11-20

目录

    /

    返回文章
    返回