| 一种基于进程验证的Petri网可达性判定方法 |
| |
| 引用本文： | 于枫,罗军舟,李伟,王鹏. 一种基于进程验证的Petri网可达性判定方法[J]. 计算机学报, 2010, 33(2). DOI: 10.3724/SP.J.1016.2010.00288 |
| |
| 作者姓名： | 于枫 罗军舟 李伟 王鹏 |
| |
| 作者单位： | 1. 东南大学计算机科学与工程学院,南京,210096;江苏科技大学计算机科学与工程学院,江苏,镇江,212003
2. 东南大学计算机科学与工程学院,南京,210096 |
| |
| 基金项目： | 国家自然科学基金项目(60773103,60903161,60903162);;国家“九七三”重点基础研究发展规划项目基金(2010CB328104);;高等学校博士学科点专项科研基金(200802860031);;江苏省自然科学基金重点项目(BK2008030);;江苏省网络与信息安全重点实验室(BM2003201);;计算机网络和信息集成教育部重点实验室(93K-9)资助~~ |
| |
| 摘 要： | 为了解决Petri网的可达性判定问题,提出了一种基于进程验证的可达性判定方法.通过分析Petri网基本进程段子段间偏序关系,该方法提出原子进程段概念,求得原子进程段集及其偏序关系集作为可达性判定的验证对象.基于原网状态方程解向量、原子进程段T-向量的线性纯整数规划问题解,选取该解中非零分量对应的原子进程段子集作为待验进程段集,选取待验进程段间的偏序关系子集作为待验推理规则集,通过验证是否存在这两个集合上的以初始标识M0为推导初态、目的标识Md为推导终态的序列而判定(M0,Md)是否可达.分析表明该可达性判定算法的时间复杂度是依赖于原子进程段集规模的,最坏情况下不超过变迁集规模.
|
| 关 键 词： | Petri网 可达性判定 Petri网进程 进程验证 |
A Reachability Determining Algorithm of Petri Net Based on Process Verification |
| |
| YU Feng,LUO Jun-Zhou,LI Wei,WANG Peng. A Reachability Determining Algorithm of Petri Net Based on Process Verification[J]. Chinese Journal of Computers, 2010, 33(2). DOI: 10.3724/SP.J.1016.2010.00288 |
| |
| Authors: | YU Feng LUO Jun-Zhou LI Wei WANG Peng |
| |
| Affiliation: | School of Computer Science and Engineering/a>;Southeast University/a>;Nanjing 210096;School of Computer Science and Engineering/a>;Jiangsu University of Science and Technology/a>;Zhenjiang/a>;Jiangsu 212003 |
| |
| Abstract: | In this paper,a process verification based algorithm is proposed to solve the reachability determining problem of Petri net.At first,the definition of atomic process section is introduced based on the partial relation decomposition,and the atomic process section set and the partial relation set are sought to act as verified objects in reachability determining.After the solution vector to pure linear nonequivalent expression of state equation solution vector and T-vectors of atomic process sections is calcul... |
| |
| Keywords: | Petri net reachability determining process of Petri net process verification |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
