Abstract
This article reports a transition-based control technique to prevent deadlocks for flexible manufacturing systems that can be modeled with a generalized class of Petri nets. The proposed method utilizes the structural properties of the Petri net model to avoid the computation of its reachability graph which in general leads to the state explosion problem. Three algorithms are developed. The first and second algorithms aim to compute first-met and n-met uncontrolled transitions, respectively, in an iterative manner until all the n-met uncontrolled transitions are found in the plant net model. The third algorithm is used to design n-transition controllers iteratively. The iteration terminates when all the transitions in the set of uncontrolled transitions are processed. The addition of the n-transition controllers to the plant net model is to make the n-met uncontrolled transitions controlled. The transition controllers are capable of enforcing liveness to the plant net model with all its reachable markings being retained in the controlled system, which ensures the full utilization of resources and provides the high productivity of a flexible manufacturing system.
Highlights
Economic diversification of a country usually depends on its emerging technological development and application
To overcome the computational complexity of the existing methods in the literature, we propose a new approach to design an optimal enforcement of liveness to flexible manufacturing system (FMS) modeled with Petri nets via transition-based controllers
The proposed method utilizes the structural properties of the uncontrolled Petri net model for designing transition controllers to avoid the full or partial computation of the reachability graph (RG)
Summary
Economic diversification of a country usually depends on its emerging technological development and application. The second method deals with deadlocks by coloring some arcs and adding a control transition and control places to an uncontrolled Petri net model It can recover all markings in the RG. To overcome the computational complexity of the existing methods in the literature, we propose a new approach to design an optimal enforcement of liveness to FMSs modeled with Petri nets via transition-based controllers In this method, we employ the structural analysis via computing uncontrolled transitions of the plant net model to avoid the computations of RG which in general can lead to state space explosion. The proposed method utilizes the structural properties of the uncontrolled Petri net model (plant net) for designing transition controllers to avoid the full or partial computation of the RG. If this condition (pl0 ) (rl ) is met, it implies that the rest of the transitions in lth process is properly covered with respect to the n-met shared
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
