同步Petri网的仿真及硬件实现

基于现有的EDA技术,针对同步Petri网和硬件描述语言的关联性,提出了用VHDL语言对同步 Petri网进行描述并实现。首先使用同步Petri网对控制器进行建模,然后使用VHDL语言对同 步Petri网控制模型进行描述,最终在EDA软件Max+PlusII中进行编译、仿真和适配,并下载 到FPGA中,通过实验开发系统GW48－CK进行硬件实现并测试。仿真波形及硬件测试表明了该 方法的正确性与有效性,这对于基于同步Petri网的控制器设计具有重要意义。