摘要
着色Petri网(CPN)是研究离散事件动态系统的有力工具,将着色Petri网引入排队系统建模中,能弥补排队模型缺乏动态逻辑行为分析能力的不足。针对排队系统一般模型建立顶层结构模型,并对排队系统的4个要素给出了具体的CPN描述。给出一个具体实例,阐明排队系统的CPN分析法的使用,利用仿真工具CPN-Tools对模型仿真实现,仿真结果与数学模型得出的理论值对比分析,验证了可行性。
Colored Petri Nets（ CPN） is the powerful tool for modeling the disperse event dynamic system. Queueing model can not analyze the dynamic behaviors of the queueing system and Colored Petri Nets can overcome these defects by introducting into the modeling of queueing system. The top-level model is built up and the four elements of queuing system are given specific description of a CPN. This paper gives a concrete example to illustrate the use of CPN analysis in the queueing system. CPN-Tools is used to emulate the mode1. The results are compared with the theoretical value of the mathematical model and are analyzed to verify the feasibility.
出处
《计算机与现代化》
2010年第6期101-103,107,共4页
Computer and Modernization
