摘要

由于排队系统动态逻辑的缺乏及其不足的行为分析能力,为此引入了颜色网。为了解决较大型的模型及逻辑复杂的建模问题,进而要在标准的排队系统里引入合理的顶层CPN架构模型,通过CPN模型的方式对排队系统中的3个主要组成部份进行详细的描述。给出停车场收费系统的例子,阐明排队系统的CPN分析法的使用,利用CPN Tools平台对模型进行仿真实现,将仿真结果同数学模型中马尔可夫过程得到的理论值进行对比分析,可验证所建模型的可行性与合理性。