CAJ | 학술논문

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