International Journal of Intelligent Control and Systems
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.