Siphon computation is a basic step for developing siphon-based deadlock control approaches in a Petri net (PN) system. This work studies the enumeration of minimal siphons in a PN. Due to the fact that the number of siphons in a PN theoretically grows exponentially with the net size. the siphon enumeration is basically time-consuming especially in a large-size net. https://countryscenesaddleryandpetsuppliers.shop/product-category/reining-saddle/