摘要
针对物流系统的一些特点 ,提出了一种三色 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.
出处
《系统工程理论与实践》
EI
CSCD
北大核心
2003年第2期73-79,共7页
Systems Engineering-Theory & Practice
基金
国家 8 63项目 ( 2 0 0 1 AA4 1 34 2 0 )
山东省重点基金 ( Z2 0 0 0 G1 )
山东省优秀中青年科学家奖励基金 ( 990 1 )
