Systems of sequential systems with shared resources (S 4 PR) represent a class of Petri
nets that have powerful modeling capability for resource allocation systems. Their efficient …

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 …

Structural analysis is one of the most important and efficient methods to investigate the
behaviour of Petri nets. Liveness is a significant behavioural property of Petri nets. Siphons …

Siphons are related to the liveness properties of Petri net models. This relation is strong in
the case of resource allocation systems (RASs). Siphons can be used in these systems in …

As a structural object of Petri nets, siphons play a key role in the development of deadlock
prevention policies for resource allocation systems. Elementary siphons are a novel concept …

Computation of elementary siphons proposed by Li et al. is essential for deadlock control
and expensive since complete siphon enumeration of the Petri net is needed, and the …

Sequential Processes with Resources (ES3PR) and Systems of Simple Sequential
Processes with General Resource Requirements (S3PGR2) whose deadlocks are related to …

Minimal siphons in the class of S 4 PR nets have become a conceptual and practical central
tool for the study of the resource allocation related aspects in discrete event dynamic …

As a structural object, siphons are well recognized in the analysis and control of deadlocks
in resource allocation systems modeled with Petri nets. Many deadlock prevention policies …

Strict minimal siphons (SMS) play an important role in the development of deadlock control
policies for flexible manufacturing systems (FMS). For a class of Petri nets called Systems of …