计算机工程与应用 ›› 2015, Vol. 51 ›› Issue (20): 55-61.

• 理论研究、研发设计 • 上一篇    下一篇

面向对象Petri网的成品油配送模型构建研究

李  敏1,2,黄  强1,周  凌1,倪少权1   

  1. 1.西南交通大学 交通运输与物流学院,成都 610031
    2.西南交通大学 远程与继续教育学院,成都 610031
  • 出版日期:2015-10-15 发布日期:2015-10-30

Research on modeling of petroleum products distribution system based on object-oriented Petri nets

LI Min1,2, HUANG Qiang1, ZHOU Ling1, NI Shaoquan1   

  1. 1.School of Transportation and Logistics, Southwest Jiaotong University, Chengdu 610031, China
    2.School of Distance and Continuing Education, Southwest Jiaotong University, Chengdu 610031, China
  • Online:2015-10-15 Published:2015-10-30

摘要: 在对面向对象Petri网(Object-Oriented Petri Nets,OOPN)技术中系统与系统对象的形式化理论研究以及现有成品油配送系统业务流程分析基础之上,建立了面向对象Petri网的成品油配送模型;通过对模型进行死锁、有界性与安全性分析对系统的性能与可靠性进行了验证,验证结果表明所建立的模型不存在死锁,有界但不安全。针对模型验证结果,将成品油配送中的并发事件统一抽象为订单到达与处理事件,并应用排队论对事件的处理进行了优化,以提高系统的安全性。以配送中心订单服务台配备个数为例对方案的应用进行了说明,并用MatLab对案例进行仿真验证了方案的正确性。最后,对模型的优点进行了总结。

关键词: 面向对象Petri网(OOPN), 模型, 成品油, 配送, 死锁, 排队论

Abstract: Based on research of formal description of system and system objects in OOPN (Object Oriented Petri Nets, OOPN) and analysis of business procedure of current petroleum products distribution system, a model for this system is proposed using OOPN technology. The death lock , safety and boundary of the proposed model are also tested for validation. The result shows that the proposed model is of no deadlock and bounded, but not secure. Following this result, taking order processing and service as abstraction of the concurrent events in petroleum products distribution system, an optimization scheme to solve the order processing ability problem is proposed based on queue theory. As an example, order processing and service counter deployment scheme in distribution center is explained in detail, and validation is processed through simulation of MatLab. Finally, the advantages of the proposed model are concluded.

Key words: Object Oriented Petri Nets (OOPN), model, petroleum products, distribution, deadlock, queue theory