Now showing items 1-3 of 3
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 ...
Deadlock control of concurrent manufacturing processes sharing finite resources
(SPRINGER LONDON LTD, 2008)
A novel deadlock control policy is developed for modeling the concurrent execution of manufacturing processes with limited shared resources through a class of nets, (ESPR)-P-3. A relevant property of the system behavior ...
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 ...