Feedback Control Logic for Backward Conflict Free Choice Nets

DOI10.1109/TAC.2007.893969MaRDI QIDQ5282055zbMATH OpenFDO

Authors Francesco Basile, Ciro Carbone, Pasquale Chiacchio

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.893969

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems involving computers (process control, etc.) (93C83)

Cited in

(7)

• An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems
• 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
• Petri net controllers for generalized mutual exclusion constraints with floor operators
• Maximally permissive supervisor synthesis based on a new constraint transformation method
• An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions
• Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs

This page was built for publication: Feedback Control Logic for Backward Conflict Free Choice Nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5282055)