| Petri网极小虹吸的计算方法与性能分析 |
| |
| 引用本文： | 张金泉,倪丽娜,蒋昌俊,张军旗.Petri网极小虹吸的计算方法与性能分析[J].计算机学报,2010,33(3). |
| |
| 作者姓名： | 张金泉 倪丽娜 蒋昌俊 张军旗 |
| |
| 作者单位： | 1. 山东科技大学信息科学与工程学院,山东,青岛,266510;同济大学嵌入式系统与服务计算教育部重点实验室,上海,201804
2. 同济大学嵌入式系统与服务计算教育部重点实验室,上海,201804 |
| |
| 基金项目： | 国家“九七三”重点基础研究发展规划项目基金(2010CB328101);;国家自然科学基金(90818023,90718012);;教育部创新团队基金(IRT0744);;国家青年自然科学基金(60803065);;山东科技大学科学研究春蕾计划项目(2008AZZ051)资助~~ |
| |
| 摘 要： | 虹吸是Petri网的一种重要结构,可以用来分析所模拟系统的许多重要特性,如可达性、可逆性和活性等.文中首先提出了虹吸子网的概念,并给出了将Petri网划分成虹吸子网的多项式算法,进而给出其性能分析.通过求解虹吸子网的极小虹吸得到原Petri网的所有极小虹吸.而对于每个虹吸子网,首先求解它的一个极小虹吸,并根据此极小虹吸对子网进行分解,将分解得到的子网做类似原网的处理过程,直到每个子网的位置集就是一个极小虹吸或不包含任何极小虹吸为止.性能分析及实验表明,所构造的求解Petri网所有极小虹吸的算法是一个有效的算法.
|
| 关 键 词： | Petri网 虹吸子网 极小虹吸 活性 |
Method for Computing Minimal Siphons in Petri Nets and the Performance Analysis |
| |
| ZHANG Jin-Quan,NI Li-Na,JIANG Chang-Jun,ZHANG Jun-Qi.Method for Computing Minimal Siphons in Petri Nets and the Performance Analysis[J].Chinese Journal of Computers,2010,33(3). |
| |
| Authors: | ZHANG Jin-Quan NI Li-Na JIANG Chang-Jun ZHANG Jun-Qi |
| |
| Affiliation: | College of Information Science & Engineering/a>;Shandong University of Science & Technology/a>;Qingdao/a>;Shandong 266510;Key Laboratory of Embedded System and Service Computing of Ministry of Education/a>;Tongji University/a>;Shanghai 201804 |
| |
| Abstract: | A siphon is an important structure of Petri net,which can be used for analyzing some important characteristics of the simulated system,such as reachability,reversibility and liveness.After proposing the concept of siphon-subnet,this paper presents the polynomial algorithms of partitioning a Petri net into siphon-subnets and then gives the performance analysis.All the minimal siphons of the original Petri net are obtained via computing the minimal siphons of the siphon-subnets.For any siphon-subnet,one minim... |
| |
| Keywords: | Petri net siphon-subnet minimal siphon liveness |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
