【摘要】 虹吸是Petri网的一种重要结构,可以用来分析所模拟系统的许多重要特性,如可达性、可逆性和活性等.文中首先提出了虹吸子网的概念,并给出了将Petri网划分成虹吸子网的多项式算法,进而给出其性能分析.通过求解虹吸子网的极小虹吸得到原Petri网的所有极小虹吸.而对于每个虹吸子网,首先求解它的一个极小虹吸,并根据此极小虹吸对子网进行分解,将分解得到的子网做类似原网的处理过程,直到每个子网的位置集就是一个极小虹吸或不包含任何极小虹吸为止.性能分析及实验表明,所构造的求解Petri网所有极小虹吸的算法是一个有效的算法.更多还原

【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 minimal siphon is firstly computed and then the siphon-subnet is partitioned based on this minimal siphon.The partitioned subnets do the same process as the original net until the place set of every subnet is a minimal siphon or it does not contain any minimal siphon.The experiment and performance analysis demonstrate that the algorithm of computing minimal siphon is an effective algorithm.更多还原