Free choice Petri nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Structural analysis and control of resource allocation systems using petri nets
Structural analysis and control of resource allocation systems using petri nets
Comparing digraph and Petri net approaches to deadlock avoidance inFMS
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
An effective algorithm to find elementary siphons in a class of Petri nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A divide-and-conquer strategy to deadlock prevention in flexible manufacturing systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Liveness enforcing supervision of video streaming systems using nonsequential Petri nets
IEEE Transactions on Multimedia
An algorithm to compute the minimal siphons in S4PR nets
Discrete Event Dynamic Systems
| Hi-index | 0.00 |
One of the most interesting developments from, both, a theoretical and a practical perspective, in the emerging theory of resource allocation systems (RAS), is the characterization of the non-liveness of many RAS classes through the Petri net (PN)-based structural object of empty, or more generally, deadly marked siphon. The work presented in this paper seeks to develop a general theory that provides a unifying framework for all the relevant existing results, and reveals the key structures and mechanisms that connect the RAS non-liveness to the concept of deadly marked - and in certain cases, empty - siphon. By taking this generalizing approach, the developed results allow also the extension of the siphon-based characterization of non-liveness to broader RAS classes, and provide a clear and intuitive explanation for the cases where the RAS non-liveness cannot be attributed to such a siphon-based construct.