检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:赵不贿[1,2] 严仰光[1] 陆继远[2] 唐平[2]
机构地区:[1]南京航空航天大学自动化学院 [2]江苏大学电气信息工程学院
出 处:《电路与系统学报》2005年第5期54-58,共5页Journal of Circuits and Systems
基 金:原机械工业部教育司科技基金资助项目(97250834);江苏大学青年基金资助项目(02JDQ003;JDQ03014)
摘 要:Petri网是异步并发系统建模的重要工具,正越来越多地被应用在超大规模集成电路之中,从系统的Petri网模型直接获得相应的逻辑电路是许多学者研究的目标。文章在通用的EDA软件中,使用硬件描述语言建立Petri网元件,并给出了它们的源代码。对于Petri网中的C/E系统,变迁用组合逻辑电路实现,库所用时序逻辑电路实现;而对于P/T系统,为了减少连线,库所和它的输入、输出变迁一起组成一个元件。在对一个受控系统建立了控制器的Petri网模型后,通过调用元件库中的Petri网元件,绘制控制器的Petri网图,经编译、仿真、优化、适配、下载在CLPD或FPGA中,就可获得控制器。Petri网元件与其它电路元件可混合使用,这为控制器的设计与实现提供了一种新的有效途径。文章分别给出了C/E系统和P/T系统的实例,仿真结果表明基于Petri网元件的图形化设计方法的正确性。Petri net is an important tool to model asynchronous and concurrent system. It is applied to VLSI more and more. Obtaining corresponding logic circuit from Petri net model of the system directly is the research goal of many scholars. In this paper, Petri net components are established through hardware description language in universal EDA software and the source codes are also presented. For C/E system, transitions are implemented by combinational logic circuit and places are implemented by sequential logic circuit. While for P/T system, to reduce wires, a place is formed a component with its input and output transitions. After the Petri net model of the controller is achieved, we can draw the Petri net diagram of the controller through using Petri net components in component library, then the diagram is compiled, simulated, optimized, fit design and downloaded to the CPLD or FPGA. Thus the controller is obtained. Petri net components can be used together with other circuit elements. It will supply a new effective way to the design and implementation of controller, A C/E system example and a P/T system example are presented in this paper respectively, Simulation results show the correctness of this method.
关 键 词:PETRI网 离散事件系统 电子设计自动化 硬件描述语言 在系统可编程器件
分 类 号:TP306[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.21.125.27