登录 | 注册 | 充值 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
一种基于进程验证的Petri网可达性判定方法
  • 摘要

    为了解决Petri网的可达性判定问题,提出了一种基于进程验证的可达性判定方法.通过分析Petri网基本进程段子段间偏序关系,该方法提出原子进程段概念,求得原子进程段集及其偏序关系集作为可达性判定的验证对象.基于原网状态方程解向量、原子进程段T-向量的线性纯整数规划问题解,选取该解中非零分量对应的原子进程段子集作为待验进程段集,选取待验进程段间的偏序关系子集作为待验推理规则集,通过验证是否存在这两个集合上的以初始标识M_0为推导初态、目的标识M_d为推导终态的序列而判定(M_0,M_d)是否可达.分析表明该可达性判定算法的时间复杂度是依赖于原子进程段集规模的,最坏情况下不超过变迁集规模.

  • 作者

    于枫  罗军舟  李伟  王鹏  YU Feng  LUO Jun-Zhou  LI Wei  WANG Peng 

  • 作者单位

    东南大学计算机科学与工程学院,南京,210096;江苏科技大学计算机科学与工程学院,江苏,镇江,212003/东南大学计算机科学与工程学院,南京,210096

  • 刊期

    2010年2期 ISTIC EI PKU

  • 关键词

    Petri网  可达性判定  Petri网进程  进程验证  Petri net  reachability determining  process of Petri net  process verification 

参考文献
查看更多︾
相似文献 查看更多>>
3.208.22.127