Siphons, as a structural object of Petri nets (PNs), are closely related to deadlock-freedom in PNs.Efficient siphon computation is of great importance in developing siphon-based deadlock control strategies with good performance.This paper is concerned with the enumeration Prostate Health of minimal siphons in a subclass of PNs called systems of sequential systems with shared resources (S4PR).First, a method with polynomial complexity is proposed to decide whether a subset of resource places can generate jumpsuits a minimal siphon.
Next, by utilizing the technique of problem partitioning, we develop an approach to compute all minimal siphons in S4PR.The proposed approach is illustrated by an example and its advantage is finally demonstrated via a comparison with other approaches.