基于FPGA的有色Petri网仿真系统设计

Design of Colored Petri Net Simulation System Based on FPGA

为了实现大规模有色Petri网模型的性能测试,设计了基于FPGA的高速仿真系统。该系统实现了库所、变迁模块到硬件结构的映射,采用C语言实现了有色Petri网的硬件自动生成工具。通过分析有色Petri网的特征,该工具生成对应的Verilog代码和基于Quartus的自动脚本。以通信中"包传输"的模型为例,在FPGA中对生成的代码进行测试,验证了设计的正确性。

In order to perform test of the large-scale colored Petri nets,a high-speed simulation system based on FPGA is designed. It implements the mapping of the place and transition modules to the hardware structures,and adopts C language to implement the hardware automatic generation tool for colored Petri nets. By analyzing the characters of the colored Petri nets,the tool generates the corresponding Verilog code and Quartus-based automatic script. Taking the model of"packet transmission"in communication as an instance,the generated code is tested in FPGA to verify its correctness.