| 基于部分状态空间存储的Petri网库所界求解算法 |
| |
| 引用本文： | 卢委红,丁志军. 基于部分状态空间存储的Petri网库所界求解算法[J]. 应用科学学报, 2020, 38(5): 695-712. DOI: 10.3969/j.issn.0255-8297.2020.05.004 |
| |
| 作者姓名： | 卢委红 丁志军 |
| |
| 作者单位： | 1. 同济大学 电子与信息工程学院, 上海 201804;2. 同济大学 教育部嵌入式系统与服务计算重点实验室, 上海 201804;3. 同济大学 上海市电子交易与信息服务协同创新中心, 上海 201804 |
| |
| 基金项目： | 国家自然科学基金面上项目（No.61672381）；中央高校基本科研业务费专项资金重点项目（No.22120180508）资助 |
| |
| 摘 要： | Petri网是一种重要的形式化建模工具,有界性是Petri网的重要性质之一.该文关注于这一性质并提出了一种新的无需存储全部状态空间的算法以求解Petri网库所界,主要思想为在生成状态空间过程中,通过引导消除可达图的部分回路同时结合T不变量的相关性质,以实现通过存储部分状态来精确求解每个库所的界.基于模型检测比赛的公开数据集进行了对比实验,通过对求解库所界的不同方法及其实验结果进行比较分析,说明了本文算法的有效性.
|
| 关 键 词： | Petri网 有界性 状态空间 位存储 |
| 收稿时间： | 2020-05-25 |
Place Bound Algorithm of Petri Net Based on Partial State Space Storage |
| |
| LU Weihong,DING Zhijun. Place Bound Algorithm of Petri Net Based on Partial State Space Storage[J]. Journal of Applied Sciences, 2020, 38(5): 695-712. DOI: 10.3969/j.issn.0255-8297.2020.05.004 |
| |
| Authors: | LU Weihong DING Zhijun |
| |
| Affiliation: | 1. College of Electricity and Information Engineering, Tongji University, Shanghai 201804, China;2. Key Laboratory of the Ministry of Education for Embedded System and Service Computing, Tongji University, Shanghai 201804, China;3. Shanghai Electronic Transactions and Information Service Collaborative Innovation Center, Tongji University, Shanghai 201804, China |
| |
| Abstract: | Petri net is an important formal modeling tool, and boundedness is one of the important properties of Petri net. In this paper, we focus on this property and propose a new algorithm to solve the place bounds of Petri net without storing all state spaces. The main idea is that in the process of generating state spaces, we can accurately solve the bounds of all places by storing partial states through eliminating some loops of reachability graph and taking advantages of related properties of T-invariant. Experimentally, we compare several other methods with the proposed one in their capability of solving place bounds with the open data set of model checking contest, and results show the effectiveness of the proposed algorithm. |
| |
| Keywords: | Petri net boundedness state space bit storage |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《应用科学学报》浏览原始摘要信息 |
|
点击此处可从《应用科学学报》下载全文 |
|
