中文摘要：

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

英文摘要：

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 valida-tion. The result shows that the proposed model is of no deadlock and bounded, but not secure. Following this result, tak-ing order processing and service as abstraction of the concurrent events in petroleum products distribution system, an opti-mization 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.