基于Petri网的数字系统建模和VHDL实现.pdf

j+‘_奋 乖 z剐 计 算 机 应 用 研 究 Vo1．34No．2 2017年 2月 ApplicationResearchofComputers Feb．2017 基于 Petri网的数字系统建模和 VHDL实现 万 军 ，赵不贿 ，秦怀宇 (1．江苏大学 电气信息工程学院，江苏镇江 212013；2．常州大学城市轨道交通学院，江苏 常州213164) 摘 要 ：基于Petri网的数字系统的建模及其硬件实现方法 已经得到 了广泛的研究，然而现有的方法主要适用 于同步电路，由此提出了一种基于Petri网的数字系统建模和VHDL实现的新方法。首先定义了一种广义同步 自控网系统，解决了数字系统的Petri网建模 问题。基于一种带优先级的多输入多时钟D触发器，设计了对应的 软 IP核 ，进而探讨 了广义同步 自控网系统模型到VHDL代码的具体转换方法。设计的CAD工具支持数字系统 的建模、功能分析与代码转换功能。通过设计示例表明了所述方法和相关工具的有效性。 关键词：Petri网；数字系统；建模；CAD工具；VHDL 中图分类号 ：TP302 文献标志码 ：A 文章编号：1001—3695(2017)02—0458—05 doi：10．3969／j．issn．1001—3695．2017．02．031 PetrinetmodelingandVHDLimplementationofdigitalsystems WanJun。，ZhaoBuhui，QinHuaiyu。 (1．SchoolofElectricalInformationEngineering，以0， “University， angJiangsu212013，China；2．SchoolofUrbanRailwayTram— portation，ChangzhouUniversity，ChangzhouJiangsu213164，China) Abstract：Petrinet-baseddigital systemsmodelingandhardwareimplementationmethodiswell—studied．However，theexis- tingmethodsaremainlyappliedtosynchronouscircuits．ThispaperproposedanewapproachforthemodelingandVHDL im— plementationofdigitalsystemsbasedonanextendedclassofPetrinets．Itdefinedthegeneralizedsynchronousself-modifying net(GSSN)todescribedigitalsystems．BasedonanewkindofDflip-flop，knownasmulti—inputandmulti-clockDflipfl·op， itpresentedthespecificconversionmethodfrom PetrinetsmodelstoVHDLcodes．ItdevelopedaCADtoolcalledGSSNTool whichcouldsupportmodeling，functionalanalysisofmodelsandautomaticcodegenerationofrVHDL．Itgaveadesignexam— pietoillustratetheapplicationofdevelopedsoftwaretoo1．Theresultshowsthecapabilitiesoftheproposedapproach． Keywords：Petrinet；digital systems；modeling；CADtool；VHDL 献[8]使用同步Petri网用于规范数字系统，并基于直接映射