Title :
Petri-net-based supervisory control for FMSs using the theory of regions
Author :
Huang, Yi-Sheng ; Pan, Yen-Liang
Author_Institution :
Dept. of Electr. & Electron. Eng., Nat. Defense Univ., Taoyuan, Taiwan
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 :
Petri nets; concurrency control; flexible manufacturing systems; computational cost; crucial marking/transition separation instance; deadlock prevention policy; event state separation-problem method; marking/transition separation instance; permissive controller; petri net based supervisory control; system deadlock; theory of region; Control systems; Equations; Firing; Law; Mathematical model; System recovery; FMS; Petri nets; deadlock prevention; the theory of regions;
Conference_Titel :
Mechatronics and Automation (ICMA), 2010 International Conference on
Conference_Location :
Xi´an
Print_ISBN :
978-1-4244-5140-1
Electronic_ISBN :
2152-7431
DOI :
10.1109/ICMA.2010.5589472