【摘要】：在對(duì)面向?qū)ο驪etri網(wǎng)(Object-Oriented Petri Nets,OOPN)技術(shù)中系統(tǒng)與系統(tǒng)對(duì)象的形式化理論研究以及現(xiàn)有成品油配送系統(tǒng)業(yè)務(wù)流程分析基礎(chǔ)之上,建立了面向?qū)ο驪etri網(wǎng)的成品油配送模型;通過(guò)對(duì)模型進(jìn)行死鎖、有界性與安全性分析對(duì)系統(tǒng)的性能與可靠性進(jìn)行了驗(yàn)證,驗(yàn)證結(jié)果表明所建立的模型不存在死鎖,有界但不安全。針對(duì)模型驗(yàn)證結(jié)果,將成品油配送中的并發(fā)事件統(tǒng)一抽象為訂單到達(dá)與處理事件,并應(yīng)用排隊(duì)論對(duì)事件的處理進(jìn)行了優(yōu)化,以提高系統(tǒng)的安全性。以配送中心訂單服務(wù)臺(tái)配備個(gè)數(shù)為例對(duì)方案的應(yīng)用進(jìn)行了說(shuō)明,并用Mat Lab對(duì)案例進(jìn)行仿真驗(yàn)證了方案的正確性。最后,對(duì)模型的優(yōu)點(diǎn)進(jìn)行了總結(jié)。
[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.
【作者單位】： 西南交通大學(xué)交通運(yùn)輸與物流學(xué)院;西南交通大學(xué)遠(yuǎn)程與繼續(xù)教育學(xué)院;
【基金】：高等學(xué)校博士學(xué)位點(diǎn)專(zhuān)項(xiàng)科研基金-新教師課題(No.20090184120018)
【分類(lèi)號(hào)】：F426.22;F252;TP301.1

【參考文獻(xiàn)】

相關(guān)期刊論文 前6條

1 任愛(ài)華,牛錦中,張永鳴;一種基于面向?qū)ο?Petri 網(wǎng)的并發(fā)程序建模方法[J];北京航空航天大學(xué)學(xué)報(bào);1998年04期

2 唐亮;于天彪;丁軍妹;王宛山;;基于面向?qū)ο驪etri網(wǎng)的供應(yīng)鏈運(yùn)作建模[J];東北大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年07期

3 于振華,蔡遠(yuǎn)利,韓九強(qiáng);基于面向?qū)ο驪etri網(wǎng)的多Agent系統(tǒng)交互協(xié)議建模[J];計(jì)算機(jī)集成制造系統(tǒng);2005年08期

4 胡松筠;陳燕;李曄;賈紅雨;;基于面向?qū)ο驪etri網(wǎng)的配送業(yè)務(wù)流程建模[J];科學(xué)技術(shù)與工程;2006年02期

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

6 鄭鋒,孫樹(shù)棟,司書(shū)賓;面向?qū)ο蟮腜etri網(wǎng)死鎖檢測(cè)[J];西北工業(yè)大學(xué)學(xué)報(bào);2004年02期

相關(guān)博士學(xué)位論文 前2條

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

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

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

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

2 楊琦;;基于面向?qū)ο驪etri網(wǎng)的供應(yīng)鏈工作流建模[J];安徽師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2010年06期

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

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

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

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

7 喻平;曹繼平;宋建社;章濤;;改進(jìn)的模糊Petri網(wǎng)算法及其在故障診斷中的應(yīng)用[J];兵工自動(dòng)化;2011年06期

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

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

10 方可;馬萍;楊明;;仿真可信度評(píng)估中的AHP超越權(quán)重[J];北京航空航天大學(xué)學(xué)報(bào);2011年05期

相關(guān)博士學(xué)位論文 前10條

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

2 宋巍;Web服務(wù)組合動(dòng)態(tài)演化技術(shù)研究[D];南京大學(xué);2010年

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

4 劉思華;電網(wǎng)故障診斷方法的研究[D];山東大學(xué);2010年

5 楊鵬;基于廣義隨機(jī)Petri網(wǎng)理論的SIP的研究[D];蘭州理工大學(xué);2009年

6 吳鏑;面向RP領(lǐng)域的Web服務(wù)自主組建方法研究與應(yīng)用[D];上海大學(xué);2011年

7 李憲華;服務(wù)機(jī)器人雙臂協(xié)作技術(shù)研究及實(shí)現(xiàn)[D];上海大學(xué);2011年

8 朱強(qiáng);基于對(duì)等網(wǎng)絡(luò)架構(gòu)的新型控制系統(tǒng)研究與實(shí)現(xiàn)[D];上海大學(xué);2011年

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

10 吳限德;快速響應(yīng)小衛(wèi)星測(cè)試?yán)碚撆c方法研究[D];哈爾濱工業(yè)大學(xué);2010年

【二級(jí)參考文獻(xiàn)】

相關(guān)期刊論文 前10條

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

2 任愛(ài)華,牛錦中,張永鳴;一種基于面向?qū)ο?Petri 網(wǎng)的并發(fā)程序建模方法[J];北京航空航天大學(xué)學(xué)報(bào);1998年04期

3 楊天劍;呂廷杰;;基于廣義隨機(jī)Petri網(wǎng)的供應(yīng)鏈訂貨提前期建模[J];北京郵電大學(xué)學(xué)報(bào);2007年03期

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

5 謝佳;淺析中國(guó)石化集團(tuán)公司供應(yīng)鏈管理優(yōu)化的電子商務(wù)[J];財(cái)經(jīng)理論與實(shí)踐;2002年S3期

6 彭楚o，

本文編號(hào)：2384305