Improved Local Partitioning Minimal-Siphon Enumeration Method
Siphon computation is a basic step for developing siphon-based deadlock control approaches in a Petri Laptop 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 especiall