【摘要】：在對面向對象Petri網(Object-Oriented Petri Nets,OOPN)技術中系統(tǒng)與系統(tǒng)對象的形式化理論研究以及現有成品油配送系統(tǒng)業(yè)務流程分析基礎之上,建立了面向對象Petri網的成品油配送模型;通過對模型進行死鎖、有界性與安全性分析對系統(tǒng)的性能與可靠性進行了驗證,驗證結果表明所建立的模型不存在死鎖,有界但不安全。針對模型驗證結果,將成品油配送中的并發(fā)事件統(tǒng)一抽象為訂單到達與處理事件,并應用排隊論對事件的處理進行了優(yōu)化,以提高系統(tǒng)的安全性。以配送中心訂單服務臺配備個數為例對方案的應用進行了說明,并用Mat Lab對案例進行仿真驗證了方案的正確性。最后,對模型的優(yōu)點進行了總結。
[Abstract]:Based on the research of the formal theory of system and system object in the object-oriented Petri net (Object-Oriented Petri Nets,OOPN) technology and the analysis of the business process of the existing oil distribution system, a product oil distribution model based on the object-oriented Petri net is established. The performance and reliability of the system are verified by deadlock, boundedness and security analysis. The results show that the model has no deadlock, bounded but not safe. Based on the model verification results, the concurrent events in oil distribution are abstracted as order arrival and processing events, and the queuing theory is applied to optimize the handling of the events to improve the security of the system. The application of the scheme is illustrated by taking the number of order desks in the distribution center as an example, and the correctness of the scheme is verified by the simulation of the case by Mat Lab. Finally, the advantages of the model are summarized.
【作者單位】： 西南交通大學交通運輸與物流學院;西南交通大學遠程與繼續(xù)教育學院;
【基金】：高等學校博士學位點專項科研基金-新教師課題(No.20090184120018)
【分類號】：F426.22;F252;TP301.1

【參考文獻】

相關期刊論文 前6條

1 任愛華,牛錦中,張永鳴;一種基于面向對象 Petri 網的并發(fā)程序建模方法[J];北京航空航天大學學報;1998年04期

2 唐亮;于天彪;丁軍妹;王宛山;;基于面向對象Petri網的供應鏈運作建模[J];東北大學學報(自然科學版);2008年07期

3 于振華,蔡遠利,韓九強;基于面向對象Petri網的多Agent系統(tǒng)交互協議建模[J];計算機集成制造系統(tǒng);2005年08期

4 胡松筠;陳燕;李曄;賈紅雨;;基于面向對象Petri網的配送業(yè)務流程建模[J];科學技術與工程;2006年02期

5 周師師;李玲娟;陳建新;徐小龍;;智能小區(qū)電能調度系統(tǒng)的著色時間Petri網建模[J];南京郵電大學學報(自然科學版);2012年01期

6 鄭鋒,孫樹棟,司書賓;面向對象的Petri網死鎖檢測[J];西北工業(yè)大學學報;2004年02期

相關博士學位論文 前2條

1 魯曉春;物流系統(tǒng)著色Petri網模型研究[D];北京交通大學;2008年

2 王亮;成品油物流系統(tǒng)的構建與優(yōu)化[D];武漢理工大學;2010年

【共引文獻】

相關期刊論文 前10條

1 方冉;陳乃金;;基于S3C44B0X處理器觸摸屏接口的設計與測試[J];安徽工程科技學院學報(自然科學版);2010年02期

2 楊琦;;基于面向對象Petri網的供應鏈工作流建模[J];安徽師范大學學報(自然科學版);2010年06期

3 代秀娟;章昭輝;王敏生;楊娟;潘冬生;汪小寒;;旅游信息服務組合的Petri網建模及其實現[J];安徽師范大學學報(自然科學版);2011年04期

4 金瑩;丁峰;;廣義隨機Petri網在工作流建模中的應用研究[J];安慶師范學院學報(自然科學版);2010年01期

5 常宏達;孫文輝;于雙元;丁丁;;Web服務組合形式理論分析與研究[J];兵工自動化;2009年05期

6 熊杰;劉湘?zhèn)?周國輝;;基于MC的電子對抗情報系統(tǒng)ESCPN模型性能分析[J];兵工自動化;2010年08期

7 喻平;曹繼平;宋建社;章濤;;改進的模糊Petri網算法及其在故障診斷中的應用[J];兵工自動化;2011年06期

8 王海燕;王紅軍;卓奕君;;基于Petri網的底盤總裝線人員配置優(yōu)化研究[J];北京信息科技大學學報(自然科學版);2009年04期

9 任愛華,金茂忠;基于OOPN的實時軟件開發(fā)方法與環(huán)境的研究[J];北京航空航天大學學報;2001年04期

10 方可;馬萍;楊明;;仿真可信度評估中的AHP超越權重[J];北京航空航天大學學報;2011年05期

相關博士學位論文 前10條

1 劉心;基于Petri網的FMS建模及故障診斷方法研究[D];哈爾濱工程大學;2010年

2 宋巍;Web服務組合動態(tài)演化技術研究[D];南京大學;2010年

3 張志明;柔性制造系統(tǒng)死鎖預防的Petri網控制器綜合[D];浙江大學;2010年

4 劉思華;電網故障診斷方法的研究[D];山東大學;2010年

5 楊鵬;基于廣義隨機Petri網理論的SIP的研究[D];蘭州理工大學;2009年

6 吳鏑;面向RP領域的Web服務自主組建方法研究與應用[D];上海大學;2011年

7 李憲華;服務機器人雙臂協作技術研究及實現[D];上海大學;2011年

8 朱強;基于對等網絡架構的新型控制系統(tǒng)研究與實現[D];上海大學;2011年

9 劉昌平;可信計算環(huán)境安全技術研究[D];電子科技大學;2011年

10 吳限德;快速響應小衛(wèi)星測試理論與方法研究[D];哈爾濱工業(yè)大學;2010年

【二級參考文獻】

相關期刊論文 前10條

1 李江華;王金亭;;具有不耐煩顧客的M/M/N可修排隊系統(tǒng)[J];北京交通大學學報;2006年03期

2 任愛華,牛錦中,張永鳴;一種基于面向對象 Petri 網的并發(fā)程序建模方法[J];北京航空航天大學學報;1998年04期

3 楊天劍;呂廷杰;;基于廣義隨機Petri網的供應鏈訂貨提前期建模[J];北京郵電大學學報;2007年03期

4 張秀;朱翼雋;;一種訂貨帶有折扣的庫存-生產模型的優(yōu)化分析[J];成都信息工程學院學報;2007年06期

5 謝佳;淺析中國石化集團公司供應鏈管理優(yōu)化的電子商務[J];財經理論與實踐;2002年S3期

6 彭楚o，

本文編號：2384305