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 Tools 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

read more