基于有色Petri网的车身控制系统建模方法

针对总线式车身控制系统的特点,提出一种新的建模方法.通过分析,指出车身控制系统属于离散事件系统,进而选择带测试弧的有色Petri网作为工具,描述系统对象之间的逻辑关系.仿真结果表明,该建模方法能够保证系统的控制逻辑正确,且形式简单规范,有助于提高车身控制系统软件的开发效率.     

总线式车身控制系统的规则化建模方法

提出一种新的汽车车身控制系统建模方法,采用汽车总线技术构建车身控制网络,用规则化描述方法进行建模。将组成系统的对象分解为多层,用逻辑规则表达式来描述系统对象之间的逻辑控制关系,用消息来传递控制关系。该方法易于理解和掌握,可降低系统设计与开发的难度,提高系统的可靠性和易维护性。