Deadlock and deadlock avoidance of batch processing system

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.