半双工协议的Petri网分析及FPGA实现

应用Petri网中的条件／事件（C／E）系统建立半双工通信协模型，并应用Petri网工具对协议模型进行分析，使用电子设计自动化（EDA）技术，对基于C／E系统的协议模型进行高速硬件描述语言（VHDL）程序设计，并由现场可编程门阵列（FPGA）器件实现该模型，为协议的验证和实现提供了一种方法。