Design and implementation of a Petri net based supervisor for a flexible manufacturing system
Automatica (Journal of IFAC)
Synthesis a Petri net based control model for a FMS cell
Computers in Industry
Hi-index | 0.00 |
In order to diagnose a flexible manufacturing system (FMS's), we focus on a method for synthesizing deadlock avoidance controllers in discrete event systems (DES's), as we well know that FMS's represent a typical class of DES's. The modelling process of a supervisory policy that enforces liveness is realized with Petri nets, which are an interactive modelling paradigm for a wide class of DES's. Our supervisory policy is based on the next two steps in modelling process: a) A bottom-up approach for the synthesis of a controlled Petri net model for the production flow; b) A liveness condition for the above mentioned model, under the circumstances of underlying the potential peril path (PPP) in the Petri net model by respecting the concept of minimal resource requirements. While the deadlock avoidance controller ensures the liveness of the global Petri net model (GPN) of the FMS, an algorithm for estimating the system throughput is introduced. The utility of our approach in alleviating the computational burden of policy synthesis is illustrated via example.