资源描述：
《矿井机车运输监控系统调度联锁过程的Petri网建模》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、第32卷第11期煤炭学报Vo.l32No.112007年11月JOURNALOFCHINACOALSOCIETYNov.2007文章编号:0253-9993(2007)11-1216-08矿井机车运输监控系统调度联锁过程的Petri网建模1,211,21陆阳,郭智奇,韩江洪,杨晴晴(1合肥工业大学计算机与信息学院,安徽合肥230009;2安全关键工业测控技术教育部工程研究中心,安徽合肥230009)摘要:分析了机车运输监控系统中调度联锁的基本规则,采用有色Petri网对矿井机车
2、调度联锁过程进行了建模.在建模的过程中,对库所和变迁进行了着色;使用约束组合弧并结合外部输入的车到和过车信息,对机车运行路线错误、任务内闯红灯等意外情况进行了描述;对进路的闭锁和解锁情况进行了细分,根据保证安全和兼顾效率的原则,建立了不同的控制方式;最后给出了调度联锁过程的整体Petri网模型.关键词:机车运输监控;调度联锁;有色Petri网;约束组合弧中图分类号:TD676文献标识码:ADispatchingandinterlockingmodelingoflocomotivetransportationco
3、ntrolsysteminminebasedonPetrinet1,211,21LUYang,GUOZhiqi,HANJianghong,YANGQingqing(1SchoolofComputerandInformation,HefeiUniversityofTechnology,Hefei230009,China;2EngineeringResearchCenterofSafetyCriticalIndustryMeasureandControlTechnologyofMinistryofEduca
4、tion,Hefei230009,China)Abstract:Basicrulesofdispatchingandinterlockingforlocomotivetransportationcontrolsystemswereanalyzed.ThecoloredPetrinetwasadoptedtobuildamodelforthedispatchingandinterlockingprocess.Intheprocessofmodeling,placesandtransitionswerecolored,
5、andsomemistakes,suchasmovingintoanerrorsegmentorintrudingintoaredlightsareainitsassignmen,tweredescribedbycombininginhibitcombinationarcwithlocomotivesreachingandpassinginformationinputtedfromoutside.Differentcontrolmodeswereestablishedtosuitdistinctcase
6、soflockingandunlocking.Intheend,thewholemodelofdispatchingandinterlockingprocessbasedonPetrinetwasoffered.Keywords:locomotivetransportationcontro;ldispatchingandinterlocking;coloredPetrine;tinhibitcombinationarc矿井机车运输监控系统是典型的离散事件系统,主要的调度控制过程是进路、机车占用、信号和道岔的联锁
7、处理,具备同步、并发、冲突、互斥等特征.采用一种规范的离散事件系统的形式化建模方法对其进行建模,有助于调度联锁软件的设计开发,并通过仿真过程在实际运行前剔除错误,提高软件的可靠[1,2]性.Petri网由于其强大的描述能力和成熟的数学分析理论非常适合系统建模以及对联锁软件的安全性[3,4][5,6]进行分析,本文采用有色Petri网(CPN:ColoredPetriNet),以KJ15A矿井机车运输监控系统为研究对象,建立了一套矿井机车运输监控系统调度联锁过程的建模方法.1调度联锁基本规则[7]根据最新颁布实施的国
8、家标准《煤矿井下机车运输信号设计规范》和实际情况需求,机车运输监控收稿日期:2007-01-21责任编辑:高雪梅基金项目:教育部新世纪优秀人才支持计划资助项目(NCET-04-0562);教育部博士点专项基金资助项目(20050359004)作者简介:陆阳(1967-),男,安徽合肥人,教授,博士生导师.Te:l0551-5318
