《计算机学报》文章摘要   全文下载
文章题目	Petri网极小虹吸的计算方法与性能分析
作者	张金泉1)，2) 倪丽娜1)，2) 蒋昌俊2) 张军旗2)
作者单位	1)(山东科技大学信息科学与工程学院 山东青岛 266510) 2)(同济大学嵌入式系统与服务计算教育部重点实验室 上海 201804)
发表年份	2010
发表月份	3期(596—602)
文章摘要	摘要 虹吸是Petri网的一种重要结构，可以用来分析所模拟系统的许多重要特性，如可达性、可逆性和活性等.文中首先提出了虹吸子网的概念，并给出了将Petri网划分成虹吸子网的多项式算法，进而给出其性能分析.通过求解虹吸子网的极小虹吸得到原Petri 网的所有极小虹吸.而对于每个虹吸子网，首先求解它的一个极小虹吸，并根据此极小虹吸对子网进行分解，将分解得到的子网做类似原网的处理过程，直到每个子网的位置集就是一个极小虹吸或不包含任何极小虹吸为止.性能分析及实验表明，所构造的求解Petri 网所有极小虹吸的算法是一个有效的算法. 关键词 Petri网；虹吸子网；极小虹吸；活性 中图法分类号 TP301 DOI号: 10.3724/SP.J.1016.2010.00596