面向对象Petri网的成品油配送模型构建研究

发布时间：2018-12-17 14:18

【摘要】：在对面向对象Petri网(Object-Oriented Petri Nets,OOPN)技术中系统与系统对象的形式化理论研究以及现有成品油配送系统业务流程分析基础之上,建立了面向对象Petri网的成品油配送模型;通过对模型进行死锁、有界性与安全性分析对系统的性能与可靠性进行了验证,验证结果表明所建立的模型不存在死锁,有界但不安全。针对模型验证结果,将成品油配送中的并发事件统一抽象为订单到达与处理事件,并应用排队论对事件的处理进行了优化,以提高系统的安全性。以配送中心订单服务台配备个数为例对方案的应用进行了说明,并用Mat Lab对案例进行仿真验证了方案的正确性。最后,对模型的优点进行了总结。
[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.
【作者单位】： 西南交通大学交通运输与物流学院;西南交通大学远程与继续教育学院;
【基金】：高等学校博士学位点专项科研基金-新教师课题(No.20090184120018)
【分类号】：F426.22;F252;TP301.1

【参考文献】

相关期刊论文 前6条

1 任爱华,牛锦中,张永鸣;一种基于面向对象 Petri 网的并发程序建模方法[J];北京航空航天大学学报;1998年04期

2 唐亮;于天彪;丁军妹;王宛山;;基于面向对象Petri网的供应链运作建模[J];东北大学学报(自然科学版);2008年07期

3 于振华,蔡远利,韩九强;基于面向对象Petri网的多Agent系统交互协议建模[J];计算机集成制造系统;2005年08期

4 胡松筠;陈燕;李晔;贾红雨;;基于面向对象Petri网的配送业务流程建模[J];科学技术与工程;2006年02期

5 周师师;李玲娟;陈建新;徐小龙;;智能小区电能调度系统的着色时间Petri网建模[J];南京邮电大学学报(自然科学版);2012年01期

6 郑锋,孙树栋,司书宾;面向对象的Petri网死锁检测[J];西北工业大学学报;2004年02期

相关博士学位论文 前2条

1 鲁晓春;物流系统着色Petri网模型研究[D];北京交通大学;2008年

2 王亮;成品油物流系统的构建与优化[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 熊杰;刘湘伟;周国辉;;基于MC的电子对抗情报系统ESCPN模型性能分析[J];兵工自动化;2010年08期

7 喻平;曹继平;宋建社;章涛;;改进的模糊Petri网算法及其在故障诊断中的应用[J];兵工自动化;2011年06期

8 王海燕;王红军;卓奕君;;基于Petri网的底盘总装线人员配置优化研究[J];北京信息科技大学学报(自然科学版);2009年04期

9 任爱华,金茂忠;基于OOPN的实时软件开发方法与环境的研究[J];北京航空航天大学学报;2001年04期

10 方可;马萍;杨明;;仿真可信度评估中的AHP超越权重[J];北京航空航天大学学报;2011年05期

相关博士学位论文 前10条

1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年

2 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年

3 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年

4 刘思华;电网故障诊断方法的研究[D];山东大学;2010年

5 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年

6 吴镝;面向RP领域的Web服务自主组建方法研究与应用[D];上海大学;2011年

7 李宪华;服务机器人双臂协作技术研究及实现[D];上海大学;2011年

8 朱强;基于对等网络架构的新型控制系统研究与实现[D];上海大学;2011年

9 刘昌平;可信计算环境安全技术研究[D];电子科技大学;2011年

10 吴限德;快速响应小卫星测试理论与方法研究[D];哈尔滨工业大学;2010年

【二级参考文献】

相关期刊论文 前10条

1 李江华;王金亭;;具有不耐烦顾客的M/M/N可修排队系统[J];北京交通大学学报;2006年03期

2 任爱华,牛锦中,张永鸣;一种基于面向对象 Petri 网的并发程序建模方法[J];北京航空航天大学学报;1998年04期

3 杨天剑;吕廷杰;;基于广义随机Petri网的供应链订货提前期建模[J];北京邮电大学学报;2007年03期

4 张秀;朱翼隽;;一种订货带有折扣的库存-生产模型的优化分析[J];成都信息工程学院学报;2007年06期

5 谢佳;浅析中国石化集团公司供应链管理优化的电子商务[J];财经理论与实践;2002年S3期

6 彭楚o，

本文编号：2384305