针对物流系统的一些特点 ,提出了一种三色 Petri网 .给出了三色 Petri网的基本定义 ,分析了该种 Petri网的性质及建模方法 .基于三色 Petri网对自动分拣系统中的物流控制进行了建模 ,并作了一致性、活性、有界性和安全性分析 .实例建模与分析表明了三色 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.