计算机与现代化 ›› 2010, Vol. 1 ›› Issue (6): 101-0103.doi: 10.3969/j.issn.1006-2475.2010.06.029

• 计算机仿真 • 上一篇    下一篇

排队系统的着色Petri网建模与分析

刘建英1,李小龙2   

  1. 1.装甲兵工程学院科研部,北京 100072; 2.装甲兵工程学院控制工程系,北京 100072
  • 收稿日期:2010-01-05 修回日期:1900-01-01 出版日期:2010-07-01 发布日期:2010-07-01

Modeling and Analysis of Queueing System with Colored Petri Nets

LIU Jian-ying1, LI Xiao-long2   

  1. 1.Department of Scientific Research, Academy of Armored Force Engineering, Beijing 100072, China;2.Department of Control Engineering, Academy of Armored Force Engineering, Beijing 100072, China
  • Received:2010-01-05 Revised:1900-01-01 Online:2010-07-01 Published:2010-07-01

摘要: 着色Petri网(CPN)是研究离散事件动态系统的有力工具,将着色Petri网引入排队系统建模中,能弥补排队模型缺乏动态逻辑行为分析能力的不足。针对排队系统一般模型建立顶层结构模型,并对排队系统的4个要素给出了具体的CPN描述。给出一个具体实例,阐明排队系统的CPN分析法的使用,利用仿真工具CPNTools对模型仿真实现,仿真结果与数学模型得出的理论值对比分析,验证了可行性。

关键词: 着色Petri网, 排队系统, 建模, 仿真

Abstract: 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 〖JP3〗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.

Key words: colored Petri nets, queueing system, modeling, simulation

中图分类号: