Three Colours Petri Net Based Modeling and Analyzing of Performances for Material Flow Systems
物流系统三色Petri网建模与分析

Aimed at some characteristics of material flow systems we propose three colours Petri net, present the definition of the Petri net, analyze its some performances, and introduce some corresponding modeling methods. Based on the three colours Petri net we model the material flow control of automated sorting system, and analyze the coherence, liveness, boundedness and safeness of the system. The practical application demonstrates the validity of the three colours Petri net.