论文部分内容阅读
在对面向对象Petri网(Object-Oriented Petri Nets,OOPN)技术中系统与系统对象的形式化理论研究以及现有成品油配送系统业务流程分析基础之上,建立了面向对象Petri网的成品油配送模型;通过对模型进行死锁、有界性与安全性分析对系统的性能与可靠性进行了验证,验证结果表明所建立的模型不存在死锁,有界但不安全。针对模型验证结果,将成品油配送中的并发事件统一抽象为订单到达与处理事件,并应用排队论对事件的处理进行了优化,以提高系统的安全性。以配送中心订单服务台配备个数为例对方案的应用进行了说明,并用Mat Lab对案例进行仿真验证了方案的正确性。最后,对模型的优点进行了总结。
Based on the formal theory of system and system objects in OOPN technology and the business process analysis of the existing refined oil distribution system, an object-oriented Petri nets-based refined oil distribution The model is verified by deadlock, boundedness and safety analysis of the model. The verification results show that the model has no deadlock and is bounded but not safe. Aiming at the results of model verification, the concurrency events in the refined oil distribution are uniformly abstracted as order arrival and processing events, and the queuing theory is applied to optimize the handling of events to improve the security of the system. Taking the number of order service desk in distribution center as an example, this paper describes the application of the scheme and simulates the case with Mat Lab to verify the correctness of the scheme. Finally, the advantages of the model are summarized.