On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems
From MaRDI portal
Publication:3550619
DOI10.1007/3-540-44919-1_17zbMath1274.90138MaRDI QIDQ3550619
Publication date: 31 March 2010
Published in: Applications and Theory of Petri Nets 2003 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-44919-1_17
90B30: Production models
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
An algorithm to compute the minimal siphons in \(S^4 PR\) nets, Deadlock and liveness characterization for a class of generalized Petri nets, Editorial: Deadlock analysis and control in resource allocation systems, An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets, An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming, Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming, Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming