Improved Local Partitioning Minimal-Siphon Enumeration Method
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 abc material net size, the siphon enumeration is basically time-consuming esp