控制电路基于Petri网元件的图形化设计与仿真研究  被引量:4

Study on control circuit’s graphical design and simulation based on Petri net components

在线阅读下载全文

作  者:赵不贿[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[自动化与计算机技术—计算机系统结构]

 

参考文献:

正在载入数据...

 

二级参考文献:

正在载入数据...

 

耦合文献:

正在载入数据...

 

引证文献:

正在载入数据...

 

二级引证文献:

正在载入数据...

 

同被引文献:

正在载入数据...

 

相关期刊文献:

正在载入数据...

相关的主题
相关的作者对象
相关的机构对象