Now showing items 1-1 of 1
Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS
(SPRINGER LONDON LTD, 2007)
In the past two decades, a number of Petri-net-based approaches were proposed for deadlock prevention in flexible manufacturing systems (FMS). An FMS is modeled as a Petri net, and then the controller or the liveness ...