本文意义在于用形式化的方法描述三种总线协议，使协议易于理解，状态机模型的仿真动态展示总线系统的通信行为，并为总线控制系统的通信研究提供一个仿真平台。