Now showing items 1-2 of 2
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 ...
An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems
(IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2007)
This paper proposes an iterative synthesis approach to Petri net (PN)-based deadlock prevention policy for flexible manufacturing systems (FMS). Given the PN model (PNM) of an FMS prone to deadlock, the goal is to synthesize ...