Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems.

Murat Uzam, MengChu Zhou

Browse the full SMC paper archive.