A method for the synthesis of deadlock prevention controllers in systems modeled by Petri nets. - Marian V. Iordache; John O. Moody; Panos J. Antsaklis (ACC, 2000)

A method for the synthesis of liveness enforcing supervisors in Petri nets. - Marian V. Iordache; John O. Moody; Panos J. Antsaklis (ACC, 2001)

Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets. - Marian V. Iordache; Panos J. Antsaklis (ICATPN, 2001)

-liveness enforcement in Petri nets based on structural net properties. - Marian V. Iordache; Panos J. Antsaklis (CDC, 2001)

Synthesis of supervisors enforcing general linear vector constraints in Petri nets. - Marian V. Iordache; Panos J. Antsaklis (ACC, 2002)

Synthesis of deadlock prevention supervisors using Petri nets. - Marian V. Iordache; John O. Moody; Panos J. Antsaklis (IEEE Trans. Robotics Autom., 2002)

Decentralized control of Petri nets with constraint transformations. - Marian V. Iordache; Panos J. Antsaklis (ACC, 2003)

Admissible decentralized control of Petri nets. - Marian V. Iordache; Panos J. Antsaklis (ACC, 2003)

Design of T-liveness enforcing supervisors in Petri nets. - Marian V. Iordache; Panos J. Antsaklis (IEEE Trans. Autom. Control., 2003)

Synthesis of supervisors enforcing general linear constraints in Petri nets. - Marian V. Iordache; Panos J. Antsaklis (IEEE Trans. Autom. Control., 2003)

On a class of controlled invariant sets. - Marian V. Iordache; Panos J. Antsaklis (ACC, 2004)

A structural approach to the enforcement of language and disjunctive constraints. - Marian V. Iordache; Panos J. Antsaklis (ACC, 2005)

Supervision Based on Place Invariants: A Survey. - Marian V. Iordache; Panos J. Antsaklis (Discret. Event Dyn. Syst., 2006)

Decentralized supervision of Petri nets. - Marian V. Iordache; Panos J. Antsaklis (IEEE Trans. Autom. Control., 2006)

Petri Net Supervisors for Disjunctive Constraints. - Marian V. Iordache; Panos J. Antsaklis (ACC, 2007)

Petri nets and programming: A survey. - Marian V. Iordache; Panos J. Antsaklis (ACC, 2009)

Concurrent program synthesis based on supervisory control. - Marian V. Iordache; Panos J. Antsaklis (ACC, 2010)

Limitations of liveness in concurrent software systems. - Marian V. Iordache; Panos J. Antsaklis (CDC, 2010)

The ACTS software and its supervisory control framework. - Marian V. Iordache; Panos J. Antsaklis (CDC, 2012)

Efficient design of Petri-net supervisors with disjunctive specifications. - Marian V. Iordache; Po Wu; Feng Zhu 021; Panos J. Antsaklis (CASE, 2013)