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]

Abstract

Abstract is missing.