基于Petri网的CAN总线模型的VHDL实现1.docVIP

基于Petri网的CAN总线模型的VHDL实现 胡辉1,2 崔瑞雪1 韦雪洁1 （1.北华航天工业学院电子工程系 河北 廊坊 065000；2.河北工业大学信息学院 天津300130） 摘要：本文主要介绍了一种基于Petri网的CAN总线模型的VHDL实现过程。其中包括将CAN总线的通信过程进行随机Petri网（DSPN）建模, 然后将Petri网与VHDL语言相结合,用VHDL语言来描述CAN节点的DSPN模型,最后通过EDA软件工具成功实现了仿真,从而获得了系统的动态性能等内容。为各种通信协议的研究及电路实现奠定了基础。关键词：Petri网 CAN总线 VHDL DSPN模型 VHDL Implementation of CAN Fieldbus Modeling Based on Petri nets HU Hui cui rui-xue WEI Xue -jie (1.Electronics Engineering Department, North China Institute of Astronautic Engineering , Langfang 065000,China；2.College of Information; Hebei Industrial University; Tianjin 300130; China) Abstract: This paper introduces a process for VHDL implementation of CAN fieldbus modeling based on Petri nets. which includes carrying on the model to DSPN(Deterministic and Stochastic Petri Net) of the communication behavior of CAN Fieldbus, describing DSPN model of CAN node by VHDL Language, simulating with the EDA software, then the dynamic properties of the system are obtained. It is the basis to the Research on the Communication Protocol and circuit implementation. Keywords: Petri nets; CAN bus; VHDL; DSPN model 1 引言 随着深亚微米集成工艺的掌握，异步时序电路在超大规模集成电路方面得到应用，但异步电路设计仍然还没有逾越旧轨。PetriPetri网Petri网对系统进行建模、分析和验证，然后直接编译为VHDL代码。CAN总线具有成本低、易开发、实时性好以及抗噪声性能好等优点，传输速率最高为1Mbps，最大传输距离为10km，由于其数据通信可靠，现在已逐步发展成为用于工业部门控制和通信的现场总线。CAN总线是一种面向工业应用的、全分布式的实时网络控制系统，其理论分析与建模很不成熟，缺乏完整的研究体系。本文对CAN总线的通信过程进行DSPN建模，并利用VHDL语言描述了随机Petri网的模型，为现场总线的通信协议的性能分析提供一种新的方法。 2 CAN总线的DSPN模型 目前，国内Petri网Petri网VHDL编译器的开发较晚，国外已经进行了较多的研究。Petri网VHDL。Petri网图形描述翻译成VHDL代码Petri网VHDL组件。ECAD软件，该软件的主体是一个编译器，使用Cocktail编译工具将Petri网CONPARRTL级的VHDL代码。CSMA/CA单节点的DSPN模型如图1所示。模型中库所P表示系统的状态，用圆圈表示。变迁T表示系统状态发生的变化，用方框表示。一般用白色矩形表示随机变迁，黑色矩形表示定时变迁，线段表示立即变迁。 设计一个CAN系统时，必须保证CAN协议中媒体访问层非破坏性位仲裁的要求，即出现总线竞争时，具有较高优先权的报文获取总线竞争的原则，所以要求物理层必须支持CAN总线中隐性位和显性位的状态特征。在没有发送显性位时，总线处于隐性状态，空闲时，总线处于隐性状态；当有一个或多个节点发送显性位，显性位覆盖隐性位，使总线处于显性状态。CAN节点的，P1，T1后节点信息处于队列状态P2，然后发送节点检测通道忙闲状态。当检测到通道忙，即P7有一个标记，瞬时变迁T2实施，节点进入等待状态P3，直到通道空闲，并再经历一小段由确定时间变迁T3参数设定的延时后再发送；否则，瞬时变迁T7实施，发送节点发送其信息帧的标识符部分P8。