Feedback Control Logic for Backward Conflict Free Choice Nets
From MaRDI portal
Publication:5282055
DOI10.1109/TAC.2007.893969zbMath1366.93386MaRDI QIDQ5282055
Pasquale Chiacchio, Ciro Carbone, Francesco Basile
Publication date: 27 July 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Control/observation systems involving computers (process control, etc.) (93C83) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (6)
An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems ⋮ Petri net controllers for generalized mutual exclusion constraints with floor operators ⋮ An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions ⋮ Maximally permissive supervisor synthesis based on a new constraint transformation method ⋮ Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications ⋮ Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm
This page was built for publication: Feedback Control Logic for Backward Conflict Free Choice Nets
