论文部分内容阅读
应用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.