约束组合有色时间Petri网应用研究

Petri网是一种适合于描述异步并发现象的系统模型，但是在使用基本Petri网来为复杂系统建模时会出现“节点爆炸”问题，本文提出约束组合弧克服该问题。约束组合弧不仅可以描述库所组合触发变迁的效果，而且可以描述变迁发生时部分输入库所托肯不变的情况。在为带式输送机联锁控制系统建模的过程中，提出了基于时间Petri网的带式输送机联锁控制系统模型，并将时间Petri网模型折叠成约束组合有色时间Petri网模型，提高了模型的抽象能力，降低了模型复杂性。该建模过程也示例了约束组合弧在应用中的优越性。　 多范式建模(Multi-Paradigm Modeling)通过耦合和转换以整合不同方法建立的模型来综合利用多种形式化方法，可以全面准确地描述建模对象。依据多范式建模理论，研究基于规则化描述方法自动生成系统约束组合有色时间Petri网模型的方法。这种建模思路有利于全面准确地反映系统的设计内容，可以大大的减轻仿真建模的工作量、提高整个仿真过程的效率。本文以汽车车身控制系统为例，阐述了以规则化描述方法建立约束组合有色时间Petri网的基本过程。