Petri网毕业设计方案.docxVIP

合肥工业大学硕士学位论文约束组合有色时间Petri网应用研究姓名：杨晴晴申请学位级别：硕士专业：计算机应用技术指导教师：陆束组合有色时间Ｐｅｔｒｉ网应用研究摘要Ｐｅｔｒｉ网是一种适合于描述异步并发现象的系统模型，但是在使用基本Ｐｅｔｒｉ网来为复杂系统建模时会出现“节点爆炸”问题，本文提出约束组合弧克服该问题。约束组合弧不仅可以描述库所组合触发变迁的效果，而且可以描述变迁发生时部分输入库所托肯不变的情况。在为带式输送机联锁控制系统建模的过程中，提出了基于时间Ｐｅｔｒｉ网的带式输送机联锁控制系统模型，并将时间Ｐｅｔｒｉ网模型折叠成约束组合有色时间Ｐｅｔｒｉ网模型，提高了模型的抽象能力，降低了模型复杂性。该建模过程也示例了约束组合弧在应用中的优越性。多范式建模（Ｍｕｌｔｉ．ＰａｒａｄｉｇｍＭｏｄｅｌｉｎｇ）通过耦合和转换以整合不同方法建立的模型来综合利用多种形式化方法，可以全面准确地描述建模对象。依据多范式建模理论，研究基于规则化描述方法自动生成系统约束组合有色时间Ｐｅｔｆｉ网模型的方法。这种建模思路有利于全面准确地反映系统的设计内容，可以大大的减轻仿真建模的工作量、程。提高整个仿真过程的效率。本文以汽车车身控制系统为例，阐述了以规则化描述方法建立约束组合有色时间Ｐｅｔｒｉ网的基本过关键词：有色Ｐｅｔｒｉ网；时间Ｐｅｔｒｉ网；约束组合弧；带式输送机；多范式建模ＲｅｓｅａｒｃｈｏｎｔｈｅＵｓｅｏｆＩｎｈｉｂｉｔｏｒ．ＣｏｍｂｉｎａｔｉｏｎＣＴＰＮＡＢＳＴＲＡＣＴＰｅｔｒｉＮｅｔｉｓａｆｏｒｍａｌ，ｇｒａｐｈｉｃａｌ，ｅｘｅｃｕｔａｂｌｅｔｅｃｈｎｉｑｕｅｆｏｒｔｈｅｓｐｅｃｉｆｉｃａｔｉｏｎａｎｄａｎａｌｙｓｉｓｏｆｃｏｎｃｕｒｒｅｎｔ，ｄｉｓｃｒｅｔｅ－ｅｖｅｎｔｄｙｎａｍｉｃｓｙｓｔｅｍｓ．Ｈｏｗｅｖｅｒ，ｗｈｅｎｍｏｄｅｌｉｎｇｃｏｍｐｌｉｃａｔｅｄｃｏｎｔｒｏｌｓｙｓｔｅｍ．ｂａｓｉｃＰｅｔｒｉｎｅｔｎｕｍｂｅｒｅｘｐｌｏｓｉｏｎ．Ｉｎｈｉｂｉｔｏｒ—ｃｏｍｂｉｎａｔｉｏｎｐｌａｃｅｓｃｏｍｂｉｎｅｄｔｏｅｎａｂｌｅａａｒｃｍａｙｃａｎｌｅａｄｔｏｔｈｅｐｒｏｂｌｅｍｏｆｎｏｄｅｉｌｌｕｓｔｒａｔｅｎｏｔｏｎｌｙｔｈｅｅｆｆｅｃｔｏｆｔｒａｎｓｉｔｉｏｎｂｕｔａｌｓｏｔｈｅｓｉｔｕａｔｉｏｎｔｈａｔｔｈｅｆｉｒｅｏｆｔｈｅｔｒａｎｓｉｔｉｏｎｄｏｅｓｎｏｔｃｈａｎｇｅｔｏｋｅｎｓｏｆｓｏｍｅｏｆｔｈｅｉｎｐｕｔｐｌａｃｅｓ．Ｉｎｔｈｅｐｒｏｃｅｓｓｏｆｍｏｄｅｌｉｎｇｔｈｅｂｅｌｔｃｏｎｖｅｙｅｒｉｎｔｅｒｌｏｃｋｃｏｎｔｒｏｌｓｙｓｔｅｍ．ａｍｏｄｅｌｂａｓｅｄｎｅｔｉｓｅｓｔａｂｌｉｓｈｅｄａｎｄｆｏｌｄｅｄｉｎｔｏａｍｏｄｅｌｂａｓｅｄｏｎｏｎｔｉｍｅＰｅｔｒｉｉｎｈｉｂｉｔｏｒ．ｃｏｍｂｉｎａｔｉｏｎｃｏｌｏｒｅｄｔｉｍｅＰｅｔｒｉｎｅｔ．Ｉｎｔｈｉｓｗａｙ，ｔｈｅｃｏｍｐｌｅｘｉｔｙｉｓｍｏｄｅｌ’ｓａｂｓｔｒａｃｔｉｏｎａｂｉｌｉｔｙｉｓｅｎｈａｎｃｅｄａｎｄｉｔｓｓｕｐｅｒｉｏｒｉｔｙｏｆｄｅｃｒｅａｓｅｄ．Ａｌｓｏ．ｔｈｅｉｎｈｉｂｉｔ－ｃｏｍｂｉｎａｔｉｏｎａｒｃｉｎｒｅａｌｉｓｔｉｃａｐｐｌｉｃａｔｉｏｎｓｉｓｄｅｍｏｎｓｔｒａｔｅｄｉｎｔｈｅｍｏｄｅｌｉｎｇ．Ｍｏｄｅｌｉｎｇａｎｄｓｉｍｕｌａｔｉｏｎａｒｅｂｅｃｏｍｉｎｇｉｎｃｒｅａｓｉｎｇｌｙｉｍｐｏｒｔａｎｔｅｎａｂｌｅｒｓｉｎｔｈｅｐｒｏｂｌｅｍｓｏｆｉｓｓｈｉｆｔｉｎｇｅｖｅｒａｎａｌｙｓｉｓａｎｄｄｅｓｉｇｎｏｆｃｏｍｐｌｅｘｓｙｓｔｅｍｓ．Ｔｏｔａｃｋｌｅｉｎｃｒｅａｓｉｎｇｓｉｍｕｌａｔｉｏｎｃｏｍｐｌｅｘｉｔｙ，ｍｏｄｅｌｉｎｇｔｅｃｈｎｉｑｕｅｓｔｏａｎｄｓｉｍｕｌａｔｉｏｎｒｅｓｅａｒｃｈｆｒｏｍｍｏｄｅｌｉｎｇｍｅｔｈｏｄｏｌｏｇｙａｎｄｔｅｃｈｎｏｌｏｇｙ．Ｍｕｌｔｉ－ｐａｒａｄｉｇｍｍｏｄｅｌｉｎｇ，ｃｏｎｃｅｒｎｅｄｗｉｔｈｔｈｅｃｏｕｐｌｉｎｇｏｆａｎｄｔｒａｎｓｆｏｒｍａｔｉｏｎｂｅｔｗｅｅｎｍｏｄｅｌｓｄｅｓｃｒｉｂｅｄｉｉｉｄｉｆｆｅｒｅｎｔｆｏｒｍａｌｉｓｍｓ，ｃａｎｇｉｖｅａｒｅｐｒｅｓｅｎｔａｔｉｏｎｏｆｍｏｄｅｌｓｉｎｄｉｖｅｒｓｅｆｏｒｍａｌｉｓｍｓ，ａｔｄｉｆｆｅｒｅｎｔｌｅｖｅｌｓｏｆａｂｓｔｒａｃｔｉｏｎ，ａｎｄｔｈｅｂｅｈａｖｉｏｒ．ｃｏｎｓｅｒｖｉｎｇｔｒａｎｓｆｏｒｍａｔｉｏｎｂｅｔｗｅｅｎｔｈｅｆｏｒｍａｌｉｓｍｓｉｓｄｅｍｏｎｓｔｒａｔｅｄ．Ｓｏａｕｔｏｍａｔｉｃｍｏｄｅｌｉｎｇｏｆｉｎｈｉｂｉｔｏｒ．ｃｏｍｂｉｎａｔｉｏｎｃｏｌｏｒｅｄｔｉｍｅＰｅｔｒｉｎｅｔｄｅｒｉｖｅｄｆｒｏｍｒｕｌｅｄｅｓｃｒｉｐｔｉｏｎｍｅｔｈｏｄｉｓｐｒｅｓｅｎｔｅｄ．Ａｎｄａｌｓｏｔｈｅｍｅｔ