Petri网的硬件实现

被引:34
作者
赵不贿
景亮
严仰光
机构
[1] 南京航空航天大学自动化学院
[2] 江苏大学电气信息工程学院
[3] 南京航空航天大学自动化学院 江苏南京
[4] 江苏镇江
关键词
离散事件系统; Petri网; 控制器; 可编程逻辑器件; 数字电路;
D O I
暂无
中图分类号
TP273.5 [];
学科分类号
摘要
Petri网是异步并发现象建模的重要工具,Petri网的硬件实现将为并行控制器的设计提供有效的途径.给出了几种Petri网系统的硬件实现方法,包括带抑制弧和允许弧的C/E系统、P/T系统、T-时延Petri网系统;给出了硬件实现中非纯网的处理方法.首先讨论实现各种Petri网的逻辑电路;然后用ABEL语言对逻辑电路进行描述;最后给出了一个用解释Petri网描述的服务系统的例子,说明如何使用硬件(CPLD)实现的方法.实验结果表明了上述方法的正确性.这对于离散事件动态系统控制器的设计,尤其是片上并行控制器、多处理器芯片的设计都具有十分重要的意义.
引用
收藏
页码:1652 / 1657
页数:6
相关论文
empty
未找到相关数据