Petri-net-based supervisory control for FMSs using the theory of regions
- 1 August 2010
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in 2010 IEEE International Conference on Mechatronics and Automation
- p. 1093-1098
- https://doi.org/10.1109/icma.2010.5589472
Abstract
The theory of regions has been recognized as the optimal deadlock prevention policy based on the marking/transition-separation instance (MTSI) or the event-state-separation-problem (ESSP) method for obtaining a maximally permissive controller in existing literature. All legal and live maximal behavior of the Petri nets model can be held by using above methods. However, its major drawback is all MTSIs (ESSPs) are required to indentify for solving the deadlock problems. For the reason, the crucial marking/transition-separation instance (CMTSI) is proposed in this paper to allow designers to deal with system deadlocks using few MTSIs. The advantage of the proposed methodology is that the computational cost can be reduced due to few MTSIs involved in. Importantly, the paper proves and demonstrates that our methodology is utilities.Keywords
This publication has 10 references indexed in Scilit:
- Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systemsThe International Journal of Advanced Manufacturing Technology, 2009
- An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing SystemsIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2007
- Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of RegionsLecture Notes in Computer Science, 2006
- The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systemsThe International Journal of Advanced Manufacturing Technology, 2004
- Design of a live and maximally permissive petri net controller using the theory of regionsIEEE Transactions on Robotics and Automation, 2003
- Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing systemIEEE Transactions on Automatic Control, 2003
- Partial (set) 2-structuresActa Informatica, 1990
- Partial (set) 2-structuresActa Informatica, 1990
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- The control of discrete event systemsProceedings of the IEEE, 1989