期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

组合逻辑电路的Petri网仿真分析 被引量：4

Simulation of Combinational Logic Circuits Based on Petri Net
下载PDF
导出
摘要 本文定义了一类扩展基本ｐｅｔｒｉ网及其迁移的引发规则，给出了其在极大代数意义下的状态转移方程。在此基础上。给出了组合逻辑电路的扩展基本ｐｅｔｒｉ网仿真分析法。 In the paper.a kind of extended basic Petri net and its firing rules of transitions are defined,and the stateequation in max-algebra is given. Then the simulation of combinational logic circuits is discussed.
作者 古天龙
机构地区 桂林电子工业学院计算机系
出处 《系统仿真学报》 CAS CSCD 1994年第2期32-36,共5页 Journal of System Simulation
关键词 PETRI网 仿真 组合逻辑电路 分析 Digital Circuit Petri Net Simulation
分类号 TP331.1 [自动化与计算机技术—计算机系统结构]
  • 相关文献

同被引文献21

  • 1吴训威,陈晓莉,金瓯.同步和异步时序电路的统一设计和分析理论[J].电子科学学刊,1994,16(4):365-372. 被引量：5
  • 2司玉娟,王万树,郎六琪,郭殿龙,戴逸松.时序逻辑电路的Petri网分析方法[J].计算机学报,1996,19(7):492-498. 被引量：4
  • 3欧阳星明,胡青海.基于有色Petri网的逻辑电路仿真模型设计[J].华中科技大学学报（自然科学版）,2006,34(3):17-20. 被引量：2
  • 4Chowdhury D R.,Modeling and simulation of Combinational Digit Circuits using Petri Nets.Int.J.Systems Science,1990,21(8):1503-1513.
  • 5阎石，数字电子技术基础，1993年
  • 6Ubar R.Test Synthesis with Alternative Graphs[J].Design & Test of Computers,IEEE,13(1):48-57
  • 7Ubar R,Jutman A,Peng Z.Timing Simulation of Digital Circuits with Binary Decision Diagrams[C].Design,Automation and Test in Europe,Mnchen,Germany,2001
  • 8GHARBI A,KHALGUI M,BEN A S, et al. Optimal model checking of safe control embedded software components [C]//15th Conference on Emerging Technologies and Factory Automation. Bilbao: IEEE Press, 2010:1-8.
  • 9PATIL S, VYATKIN V, SOROURI M, et al. Formal verification of intelligent mechatronic systems with decentral-ized control logic[C]//17 th Conference on ETFA. Krakow .. IEEE Press, 2 012 .. 1-7.
  • 10TSAI J I, TENG C C, LEE C H. Test generation and site of fault for combinational circuits using logic Petri-nets [C] // International Conference on Systems Man and Cybernetics. Taipei: IEEE Press, 2006 : 8-11.

引证文献4

二级引证文献5

系统仿真学报
1994年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部