Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems
From MaRDI portal
Publication:5282318
DOI10.1109/TAC.2007.910701zbMath1368.68268MaRDI QIDQ5282318
Jin Young Choi, Elzbieta Roszkowska, Spyros A. Reveliotis
Publication date: 27 July 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2007.910701
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
On structural minimality of optimal supervisors for flexible manufacturing systems, Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs, Performance optimization for a class of generalized stochastic Petri nets, Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets