首页> 中文期刊> 《软件学报》 >Petri网的步问题研究

Petri网的步问题研究

         

摘要

在基于Petri 网的模型验证方法中,步被广泛用于减少变迁实施产生的语义交织.为了研究基于步的构造算法的计算复杂性,提出步的判定问题,并证明该问题是NP完全的.进一步给出了极大步问题的多项式时间算法和最大步问题的NP等价性证明.最后分析两类特殊子问题是P问题.

著录项

  • 来源
    《软件学报》 |2009年第3期|505-514|共10页
  • 作者单位

    同济大学;

    企业数字化技术教育部工程研究中心;

    上海;

    200092;

    湖南理工学院;

    计算机与信息工程系;

    湖南;

    岳阳;

    414006;

    同济大学;

    企业数字化技术教育部工程研究中心;

    上海;

    200092;

    同济大学;

    企业数字化技术教育部工程研究中心;

    上海;

    200092;

    同济大学;

    企业数字化技术教育部工程研究中心;

    上海;

    200092;

    同济大学;

    企业数字化技术教育部工程研究中心;

    上海;

    200092;

  • 原文格式 PDF
  • 正文语种 chi
  • 中图分类 理论、方法;
  • 关键词

    Petri网; 发; 步问题; NP完全性; NP等价性;

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号