基于petri网的电梯群控系统

《基于petri网的电梯群控系统》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号密级－；．．．．ＵＤＣ．－ｙ９＾１兩寺善硕±学位论文基于Ｐｅｔｒｉ网的电梯群控系统．．．．’．巧勝ｉｌＰＰＰ作者姓名：杨博钦＇学科、专业：软件工程Ｊ．．．学号：２１２Ｑ１２Ｑ８３５ＱＱ０Ｑ３指导教师：木文教授，、＇，－＞Ａ戍口甘口ＯＡ、、ｈｌＣ／ｔＣ／ｌ口２０１５４兀成目Ｍｌ‘―—．．，集，，，＇…，巧＂，ｎ心讀’在．．？：一．咖１宁：．而种＂‘ｉ心二皆沪；．．热七；一

2、－气节，．‘―－‘？’’皆ｔ■，皆泌‘ｗ，免西华大学学位论文独创性声明作者郑重声明：所呈交的学位论文，是本人在导师的指导下进行研究工作所取得的成果。尽我所知，除文中己经注明引用内容和致谢的地方外，本论文不包含其他个人或集体己经发表的研究成果，也不包含其他臣申请学位或其他用途使用过的成果一。与我同工作的同志对本研究所做的贡献均臣在论文中做了明确的说明并表示了谢意。若有不实之处，本人愿意承捏相关法律责任。＼学位论文作者签名：娘扳指导教师签名：曰化日期抓ＵＩ心少＇！店

3、、西华大学学位论文版权使用授权书本学位论文作者完全了解学校有关保留、使用学位论文的规定，在校攻读学位期间论文工作的知识产权属于西华大学，同意学校保留并向国家有关部口或机构送交论文的复印件和电子版，允许论文被查闽和借阅，西华大学可＾乂将本论文的全部或部分内容编入有关数据库进行检索，可！＾乂采巧影巧、缩巧或担描等复巧手段保存和汇编本学位论文。（保密的论文在解密后遵守此规定）＼＼学位论文作者签名：指导教师签杂：曰期：日期ｗＭ‘ｉ｜ClassifiedIndex:UDC:XihuaUn

4、iversityMasterDegreeDissertationElevatorgroupcontrolsystemdesignbasedonPetrinetsCandidate:YangBoqinMajor:SoftwareengineeringStudentID:212012083500003Supervisor:Prof.SongWenApril,2015西华大学硕士学位论文摘要随着社会的进步及人们日益对物质文化的需要，电梯作为一种便捷的交通工具在人们的生活中已凸显出不可或缺的作用。在不断更新的电梯系统中，要求各电

5、梯子系统之间必须具有良好的协调性以方便人们对电梯的使用。此外，为了提高电梯系统的使用效率，使得作为电梯中枢的电梯群控系统在整个电梯系统中所占据的地位极为重要。为了从各方面提高电梯的服务效率，如何有效地采用形式化模拟及验证技术对模型进行形式化模拟及验证是亟待解决的问题之一。已有的众多解决方案都仅仅是基于某一具体功能模块设计的，极少针对整体系统进行设计。不仅如此，它们还缺少对系统有效性的形式化描述。对于大型系统的软件开发，形式化开发是保证系统的有效性及准确性的一种重要软件开发方法。从电梯系统高安全性出发，由于形式化验证的不完

6、备性，常常辅之以数据仿真。Petri网是一种强大的适用于离散系统的数学建模工具，它不仅能够很好地刻画异步并发，还具备良好的图形表示能力，更有着严密的数学理论作为支撑。从60年代诞生至今，发展历经40余载，从其得以广泛的应用足以彰显其强大的建模及模型验证能力。本文在充分了解国内外电梯发展的概况及电梯群控技术的各种算法及优劣性后，引入Petri网这一形式化数学建模工具直观地描述离散事件系统的各种关系与行为及对电梯群控系统进行了建模分析。其次，分析了电梯的运行行为和规则，使用Petri网这一建模工具给出了电梯群控系统的有效模型

7、。该模型除了整体设计外还包括电梯低速与高速的切换以及根据现有交通模式切换不同停留模式的实现细节,还可以根据不同的需要嵌入其它功能。最后，通过分析模型,对系统模型进行简化，利用Petri网的S-不变量及可达标识图等技术对模型的有效性及准确性进行了验证，此外，通过采用Hips仿真软件对模型的性质再次进行了分析验证。关键词：Petri网；电梯群控；系统仿真；形式化验证I基于Petri网的电梯群控系统AbstractElevators,asaclassofconvenienttransportationmeans,playani

8、ndispensableroleinpeople'sliveswiththeprogressofthesocietyandmorematerialandculturalrequirements.Inaconstantlyupdatedelevatorsystem,itisrequiredthatitselevator