DocumentCode :
3493283
Title :
On supervisor synthesis of discrete event systems
Author :
Zhao, Mi ; Li, ZhiWu ; Liang, Jingwei
Author_Institution :
Sch. of Electro-Mech. Eng., Xidian Univ., Xi´´an, China
fYear :
2005
fDate :
19-22 March 2005
Firstpage :
705
Lastpage :
710
Abstract :
In this paper we propose a deadlock control policy for a class of nets, called G-system with limited shared resources, which is a large class of discrete event systems generalizing well-known models presented in the literature. A relevant property of the system behavior is to be non-blocking, i.e., from any reachable state, a desirable state can be always obtained under supervision. The analysis of the system leads us to characterize deadlock situations in terms of an unmarked siphon based on the Petri nets model. Our deadlock prevention policy is to make all unmarked siphons satisfying cs-property when all elementary siphons are properly supervised. Compared with the existing policies, the advantage of the policy is that a much smaller number of supervisor places are added and unnecessary iterative processes are avoided. Finally, the application of the approach is illustrated with a realistic G-system example.
Keywords :
Petri nets; control system analysis; control system synthesis; discrete event systems; Petri nets model; cs-property; deadlock control policy; deadlock prevention policy; discrete event systems; limited shared resources; realistic G-system example; supervisor synthesis; Application software; Control system synthesis; Costs; Discrete event systems; Flexible manufacturing systems; Operating systems; Petri nets; Resource management; System recovery; Workflow management software;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Networking, Sensing and Control, 2005. Proceedings. 2005 IEEE
Print_ISBN :
0-7803-8812-7
Type :
conf
DOI :
10.1109/ICNSC.2005.1461276
Filename :
1461276
Link To Document :
بازگشت