基于扩展petri网的城市交通信号控制模型研究

《基于扩展petri网的城市交通信号控制模型研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、－ｙ讀－，＇＇，遭分类号－密级：ＵＤＣ兩寺麥硕壬学位论文基于扩展Ｐｅｔｒｉ网的城市交通信号控制模型研究■吞成於糧猶蕊＊巧作者烛名：宋亚勤１＝：；ｒ，＾学科、专业：妒算化拔术．，讀龜１…：１２１１０；２１２００８５２０８学．号！．．’￣‘一一指导教师：李兵－：４完成日期１１＾，．苗．生，月，＾＾＾？－、车西华大学学位论文独创性声明作者郑重声明：所呈交的学位论文，是本人在导师的指导下进行研究工作所取得的成果。尽我所知，除文中己经注明引用内容和致谢的地方外，本

2、论文不包含其他个人或集体己经发表的研究成果，也不一包含其他臣申请学位或其他用途使用过的成果。与我同工作的同志对本研究所做的贡献均己在论文中做了明确的说明并表示了谢意。若有不实之处，本人愿意承担相关法律责任。学位论文作者签名：＾指导教师签名：＾曰期‘：如多曰期：Ｗ户Ｉ年西华大学学位论文版权使用授权书本学位论文作者完全了解学校有关保留、使用学位论文的规定，在校攻读学位期间论文工作的知识产权属于西华大学，同意学校保留并向国家有关部口或机构送交论文的复印件和电子版，允许论文被查Ｌ阅和借阅，西华大学可乂将本论文的全部或部分内容编入有关数据库

3、论进行检索，可Ｌ乂采巧影巧、缩印或扫描等复印手段保存和汇编本学位文。（保密的论文在解密后遵守此规定）学位论文作者签華：指导教师签名：曰期：７〇诊导目日期：ClassifiedIndex:UDC:XihuaUniversityMasterDegreeDissertationResearchonControlModelofUrbanTrafficSignalbasedontheExtendedPetriNetCandidate:YaQinSongMajor:ComputerTechnologyStudentID:212012085211008Super

4、visor:BingLiApril,2015西华大学硕士学位论文摘要随着我国城市化进程的不断推进，交通系统越来越复杂，给人们的日常生活带来了极大的方便，然而各种各样的交通问题也随之而来。在现有路况条件下，建立一个安全、可靠的城市交通控制系统模型对缓解当前的交通问题具有十分重要的意义。使用Petri网对城市交通系统的建模起源很早，然而随着交通系统结构的复杂化、性质的多重化，原型Petri网在系统建模方面逐渐暴露出各种不足，如表达能力差，所建模型非常复杂，给后续的分析验证工作带来很大的难度。近年来，国内外学者在原型Petri网的基础上引入高级Petri网，它可以实现网系统的

5、折叠，增强Petri网的描述能力。然而，高级Petri网的表达、模拟能力并没有提高，对一些具有优先权等特殊性质的系统仍然无法建模。因此，在高级Petri网的基础上继续对其进行扩展显得尤为重要。本文的主要研究内容如下：1、在原型Petri网的基础上提出了一种新型扩展Petri网，即带抑止弧和使能弧的着色Petri网。提出这种新型Petri网，一方面丰富了Petri网的理论知识体系，另一方面强化了Petri网的实践建模能力。在实际建模过程中，这种新型的Petri网不但具有很强的模拟描述能力，可以使所建模型更加简单、清晰，而且还可以对系统的优先特权等一些性质进行描述。2、将这

6、种新型的Petri网应用到城市交通信号控制系统中，对城市交叉路口的动态交通流进行建模，反映十字路口交通流的动态变化过程，同时实现对绿冲突现象的检测和调节，保证路口的安全通行，形成一个安全性高、可靠性强的单路口城市交通信号控制系统。3、基于逻辑等价，采用硬件描述语言Verilog对所建立的带抑止弧和使能弧的增广着色Petri网交通控制模型进行仿真，结果符合预期设想，能可靠的检测、调节绿冲突等安全隐患且能反应系统整体运行状态。关键词：着色Petri网；抑止弧和使能弧；城市交通模型；绿冲突；逻辑电路I基于扩展Petri网的城市交通信号控制模型研究AbstractAsthera

7、piddevelopmentofurbanization,thetrafficsystemofourcountrybecomesmoreandmorecomplex,whichbringmuchconvenienceforourlife,atthesametime,somekindsoftrafficproblemsappear.Undertheconditionofexistingroads,itisofgreatimportancetosetupasafeandreliablecitytrafficcontrolmodelformit