In: International Journal of Intelligent Control Systems, Vol. 3, No. 3, pages 263-275. 1999.
Abstract: For several classes of Petri nets, minimal siphons and traps constitute their necessary and sufficient conditions for important qualitative properties such as liveness. This paper presents a new algorithm for calculating minimal siphons and traps based on recursive depth-first search. The algorithms exploits two properties of these structural objects to reduce the search time. The efficiency of the algorithm is tested for a large number of randomly generated nets. Furthermore, to demonstrate the manufacturing applications, the algorithm is applied to a real-world industrial example.
Keywords: Petri nets, minimal siphons, minimal traps.