DocumentCode :
2377763
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
fYear :
2010
fDate :
4-7 Aug. 2010
Firstpage :
1093
Lastpage :
1098
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Mechatronics and Automation (ICMA), 2010 International Conference on
Conference_Location :
Xi´an
ISSN :
2152-7431
Print_ISBN :
978-1-4244-5140-1
Electronic_ISBN :
2152-7431
Type :
conf
DOI :
10.1109/ICMA.2010.5589472
Filename :
5589472
Link To Document :
بازگشت