CAJ | 학술논문

虹吸是Petri网的一种重要结构,可以用来分析所模拟系统的许多重要特性,如可达性、可逆性和活性等.文中首先提出了虹吸子网的概念,并给出了将Petri网划分成虹吸子网的多项式算法,进而给出其性能分析.通过求解虹吸子网的极小虹吸得到原Petri网的所有极小虹吸.而对于每个虹吸子网,首先求解它的一个极小虹吸,并根据此极小虹吸对子网进行分解,将分解得到的子网做类似原网的处理过程,直到每个子网的位置集就是一个极小虹吸或不包含任何极小虹吸为止.性能分析及实验表明,所构造的求解Petri网所有极小虹吸的算法是一个有效的算法.
홍흡시Petri망적일충중요결구,가이용래분석소모의계통적허다중요특성,여가체성、가역성화활성등.문중수선제출료홍흡자망적개념,병급출료장Petri망화분성홍흡자망적다항식산법,진이급출기성능분석.통과구해홍흡자망적겁소홍흡득도원Petri망적소유겁소홍흡.이대우매개홍흡자망,수선구해타적일개겁소홍흡,병근거차겁소홍흡대자망진행분해,장분해득도적자망주유사원망적처리과정,직도매개자망적위치집취시일개겁소홍흡혹불포함임하겁소홍흡위지.성능분석급실험표명,소구조적구해Petri망소유겁소홍흡적산법시일개유효적산법.
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 siphonsubnets.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.