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

第51卷 第 10期 电讯技术 Vo1．51 No．10 2011年 10月 TelecommunicationEngineering 0ct．20l1 文章编号 ：1001—893X(2011)10—0076—04 同步Petri网的仿真及硬件实现 陆继远，景 亮 (江苏大学 电气信息工程学院，江苏 镇江212013) 摘 要：基于现有的EDA技术，针对同步Pe 网和硬件描述语言的关联性，提出了用VHDL语言对 同步Petri网进行描述并实现。首先使用同步Petri网对控制器进行建模 ，然后使用VHDL语言对 同 步Petri网控制模型进行描述，最终在 EDA软件 Max-4-PlusII中进行编译、仿真和适配，并下载到FP． GA中，通过实验开发系统GW48一CK进行硬件实现并测试。仿真波形及硬件测试表 明了该方法的 正确性与有效性，这对于基于同步Petri网的控制器设计具有重要意义。 关键词：同步Petri网；条件 ／事件系统；硬件描述语言；电子设计 自动化；可编程逻辑器件；硬件实现 中图分类号：TP301 文献标识码 ：A doi：10．3969／j．issn．1001—893x．2011．10．016 Simulation andHardwareImplementation ofSynchronousPetriNet LUJi—yll~n，JINGLiang (CollegeofElectricalandInformationEngineering，JiangsuUniversity，Zhenjinag212013，China) Abstract：AccordingtotherelevancebetweensynchronousPetriNetnadhardwaredescriptionlnaguage，VHDL isusedtodescribeandimplementsynchronousPetriNetbasedontheexistingEDA technology．Firstly．syn— chronousPetriNetiSusedtomodelhtecontroller．Secondly，PetriNetcontrolmodeliSdescribedbyVHDL． Finally，hteVHDLcodesarecompiled，simulated，fit．designednaddownloadedton)GA inEDA softwareMax +PlusII．Hardwareimplementationand experimentaleperfomr edwithtlledevelopmentsystem GW48一CK． Simulationwavenadhardware testfurtherverifythecorrectnessandvalidityofthemethod．ThemethodiSof greatsingificnacetothedesing ofcontrollerbasedonsynchmnousPetriNet． Keywords：synchronousPetrinet；condition／eventsystem；hardwaredescriptionlanguage；electronicdesign automation；programmablelogicdevice；hardware implementation 强大的模拟能力，描述和分析并发现象有独到的优 1 引 言 越之处，使得它在许多领域得到应用，特别是离散事 件系统_4 J。使用 Petri网对离散事件系统建模 ，采 Petri网是德国数学家 CralAdamPetri博士