Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems

DOI10.1109/TAC.2007.910701zbMath1368.68268OpenAlexW1968914503MaRDI 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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

On structural minimality of optimal supervisors for flexible manufacturing systems ⋮ Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets ⋮ 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

This page was built for publication: Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems