Tractability of deadlock avoidance problem in automated manufacturing systems modeled with Petri Net.

Naiqi Wu, MengChu Zhou

Browse the full SMC paper archive.