Petri网的硬件实现

作     者：赵不贿 景亮 严仰光 

作者机构：南京航空航天大学自动化学院江苏南京210016 江苏大学电气信息工程学院江苏镇江212013 

基　　金：~~原机械工业部教育司科技基金资助项目(97250834) 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2002年第13卷第8期

页      码：1652-1657页

摘      要：Petri网是异步并发现象建模的重要工具,Petri网的硬件实现将为并行控制器的设计提供有效的途径.给出了几种Petri网系统的硬件实现方法,包括带抑制弧和允许弧的C/E系统、P/T系统、T-时延Petri网系统;给出了硬件实现中非纯网的处理方法.首先讨论实现各种Petri网的逻辑电路;然后用ABEL语言对逻辑电路进行描述;最后给出了一个用解释Petri网描述的服务系统的例子,说明如何使用硬件(CPLD)实现的方法.实验结果表明了上述方法的正确性.这对于离散事件动态系统控制器的设计,尤其是片上并行控制器、多处理器芯片的设计都具有十分重要的意义.

主 题 词：Petri网 硬件 离散事件系统 控制器 可编程逻辑器件 数字电路 超大规模集成电路 

学科分类：080903[080903] 12[管理学] 1201[管理学-管理科学与工程类] 0809[工学-计算机类] 081104[081104] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 

核心收录：

D　O　I：10.13328/j.cnki.jos.2002.08.043

馆 藏 号：203381757...