《计算机学报》文章摘要   全文下载
文章题目	一种基于进程验证的Petri网可达性判定方法
作者	于枫1)，2) 罗军舟1) 李伟1) 王鹏1)
作者单位	1)(东南大学计算机科学与工程学院 南京 210096) 2)(江苏科技大学计算机科学与工程学院 江苏镇江 212003)
发表年份	2010
发表月份	2期(288—299)
文章摘要	摘要 为了解决Petri网的可达性判定问题，提出了一种基于进程验证的可达性判定方法.通过分析Petri网基本进程段子段间偏序关系，该方法提出原子进程段概念，求得原子进程段集及其偏序关系集作为可达性判定的验证对象.基于原网状态方程解向量、原子进程段T-向量的线性纯整数规划问题解，选取该解中非零分量对应的原子进程段子集作为待验进程段集，选取待验进程段间的偏序关系子集作为待验推理规则集，通过验证是否存在这两个集合上的以初始标识M0为推导初态、目的标识Md为推导终态的序列而判定(M0，Md)是否可达.分析表明该可达性判定算法的时间复杂度是依赖于原子进程段集规模的，最坏情况下不超过变迁集规模. 关键词 Petri网；可达性判定；Petri网进程；进程验证 中图法分类号 TP301 DOI号: 10.3724/SP.J.1016.2010.00288