摘要
应用Petri网理论对CAN总线MAC层协议机制进行了形式化建模方法研究。给出了完整的基于确定与随机Petri网的CAN单节点模型和总线系统全局模型,并在此模型基础上推导出了性能分析指标,为总线系统的设计和优化提供理论支持工具。
A modeling method of MAC protocol of CAN bus is researched using Petri net theory. The complete models of both CAN single-node and the global CAN system are offered in this paper based on DSPN. And presents a set of performance indices based on the DSPN model which can provide an important theoretical basis for the design and improvement of the bus system.
出处
《微计算机信息》
2009年第35期22-24,共3页
Control & Automation
