汽车车身控制系统的规则化描述和Petri网建模研究

摘要：

汽车车身控制系统是典型的离散事件系统,结合规则化描述方法接近自然语言、易于理解、便于建模和Petri网模型易于模拟验证的特点,本文提出了基于规则化描述方法的Petri网建模思路,并给出了车身部分器件行为关系的规则化描述和对应的有色时间Petri网模型,克服了复杂系统建模难的问题,也有利于提高系统的正确性和安全性。

关键词： 汽车车身 控制系统 有色时间Petri网 规则化描述 多范式建模 离散事件

作者: 丁峰 陆阳 程运安

作者单位: 合肥工业大学计算机与信息学院 合肥 230009 合肥工业大学计算机与信息学院 合肥 230009;安全关键工业测控技术教育部工程研究中心 合肥 230009

会议类型: 国内会议

会议名称: 第六届全国信息获取与处理学术会议

会议地点: 河南焦作

会议语种:中文

页码: 644-652

在线出版日期: 2008-08-06（万方平台首次上网日期，不代表论文的发表时间）