摘要
由于排队系统动态逻辑的缺乏及其不足的行为分析能力,为此引入了颜色网。为了解决较大型的模型及逻辑复杂的建模问题,进而要在标准的排队系统里引入合理的顶层CPN架构模型,通过CPN模型的方式对排队系统中的3个主要组成部份进行详细的描述。给出停车场收费系统的例子,阐明排队系统的CPN分析法的使用,利用CPN Tools平台对模型进行仿真实现,将仿真结果同数学模型中马尔可夫过程得到的理论值进行对比分析,可验证所建模型的可行性与合理性。
Due to the lack of dynamic logic of the queuing system and its insufficient behavior analysis capabilities,a color network was introduced for this purpose.In order to solve the larger model and logical complex modeling problem,a reasonable top-level CPN architecture model is introduced in the standard queuing system,and the three main components in the queuing system are described in detail by means of the CPN model.An example of the parking lot charging system is given.The use of the CPN analysis method of the queuing system is clarified.The model is simulated by the CPN Tools platform.The simulation results are compared with the theoretical values obtained by the Markov process in the mathematical model.The feasibility and rationality of the model built.
作者
郑雪文
方欢
ZHENG Xue-wen;FANG Huan(College of Mathematics and Big Data,Anhui University of Science and Technology,Huainan Anhui 232000,China)
出处
《佳木斯大学学报(自然科学版)》
CAS
2019年第6期895-899,共5页
Journal of Jiamusi University:Natural Science Edition