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
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;
Conference_Titel :
Intelligent Control and Automation, 2000. Proceedings of the 3rd World Congress on
Conference_Location :
Hefei
Print_ISBN :
0-7803-5995-X
DOI :
10.1109/WCICA.2000.862437
