Synthesis of deadlock prevention supervisors using Petri nets

Marian V. Iordache, John O. Moody, Panos J. Antsaklis. Synthesis of deadlock prevention supervisors using Petri nets. IEEE Transactions on Robotics, 18(1):59-68, 2002. [doi]

Authors

Marian V. Iordache

This author has not been identified. Look up 'Marian V. Iordache' in Google

John O. Moody

This author has not been identified. Look up 'John O. Moody' in Google

Panos J. Antsaklis

This author has not been identified. Look up 'Panos J. Antsaklis' in Google