基于有色Petri网的车身网络诊断系统建模方法  

A modeling method of auto-body diagnosis system based on colored Petri net

作　　者：韩江洪[1,2] 周涛[1] 张本宏[1] 孙峰[1] 魏振春[1,2] 

机构地区：[1]合肥工业大学计算机与信息学院,安徽合肥230009 [2]合肥工业大学安全关键工业测控技术教育部工程研究中心,安徽合肥230009

出　　处：《合肥工业大学学报（自然科学版）》2011年第12期1811-1814,共4页Journal of Hefei University of Technology：Natural Science

基　　金：国家自然科学基金资助项目(60873003);高等学校博士学科点专项科研基金资助项目(20090111120004);国家电子信息产业发展基金资助项目(2010-301);合肥工业大学学生创新基金资助项目(XS09023)

摘　　要：文章针对车身网络诊断系统的特点,将有色Petri网和诊断系统的流程相结合,建立故障诊断的有色Petri网模型;利用有色Petri网作为工具,描述诊断仪与ECU通信之间的逻辑关系;以诊断中的Flash下载为例,建立了有色Petri网的诊断模型。仿真分析结果验证了模型的正确性和有效性,且模型有助于提高车身网络诊断系统软件的开发效率。According to the features of auto-body diagnosis system, a new colored Petri net model of fault diagnosis is proposed based on the colored Petri net and the procedure of diagnosis system. Then the colored Petri net with testing arcs is chosen as a tool to describe the logical relation between the diagnostic device and the electric control unit（ECU） communication. A diagnosis model based on the colored Petri net is established to diagnose the Flash download. The simulation results show that the proposed method is correct and effective and can improve the development efficiency of auto-body diagnosis software.

关 键 词：车身网络诊断系统 建模方法 有色PETRI网 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]