DocumentCode
353764
Title
Deadlock and deadlock avoidance of batch processing system
Author
Yali, Wu ; Jianchao, Zeng
Author_Institution
Div. of Syst. Simulation & Comput. Appl., Taiyuan Heavy Machinery Inst., Taiyuan, China
Volume
4
fYear
2000
fDate
2000
Firstpage
2356
Abstract
Based on the colored time constrained hybrid Petri net, we discuss the deadlock avoidance of batch production processes due to various intermediate stock policies and the sharing and competing of limited resources. The necessary and sufficient conditions of system deadlock and critical deadlock are presented. Finally, we introduce the corresponding deadlock avoidance policy
Keywords
Petri nets; batch processing (industrial); production control; resource allocation; stock control; batch processes system; colored Petri net; competition; deadlock avoidance; hybrid Petri net; necessary condition; production control; resource sharing; stock control; sufficient condition; time constrained Petri net; Computational modeling; Computer applications; Computer simulation; Machinery; Sufficient conditions; System recovery; Time factors;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Control and Automation, 2000. Proceedings of the 3rd World Congress on
Conference_Location
Hefei
Print_ISBN
0-7803-5995-X
Type
conf
DOI
10.1109/WCICA.2000.862437
Filename
862437
Link To Document