Petri网的硬件实现
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

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


Hardware Implementation of Petri Nets
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

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

    Abstract:

    Petri net is an important tool to model asynchronous and concurrent phenomena. The hardware implementation of Petri net will provide an effective way to the design of parallel controller. In this paper, the hardware implementation method of several kinds of Petri net system is presented, including C/E system with inhibitor arcs and enabling arcs, P/T system and T-timed Petri net system, The dealing method of non-pure net in hardware implementation is also proposed. First the logic circuits to implement Petri net are discussed.Then the logic circuits are described with ABEL-HDL.Finally an example is given to implement Petri net with hardware(CPLD),which is a service system described by interpreted Petri net.Experimental results show thatthe correctness of this method.This method is of momentous significance to the design of DEDS controller,especially to the design of SoC paralle controller and multi-processors chip.

    参考文献
    相似文献
    引证文献
引用本文

赵不贿,景亮,严仰光. Petri网的硬件实现.软件学报,2002,13(8):1652-1657

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2001-11-12
  • 最后修改日期:2002-02-28
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号