Feedback control of petri nets based on place invariants. - Katerina Yamalidou; John O. Moody; Michael D. Lemmon; Panos J. Antsaklis (Autom., 1996)

The dependence identification neural network construction algorithm. - John O. Moody; Panos J. Antsaklis (IEEE Trans. Neural Networks, 1996)

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)

Petri net supervisors for DES with uncontrollable and unobservable transitions. - John O. Moody; Panos J. Antsaklis (IEEE Trans. Autom. Control., 2000)

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

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