作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

›› 2002, Vol. 28 ›› Issue (08): 53-55.

• 论文 • 上一篇    下一篇

一种新型Petri Net:双层变迁定时Petri Net

罗怡桂,顾君忠   

  1. 华东师大计算机系系统所,华东师大计算机系系统所 上海 200062
  • 发布日期:2002-08-25

:A New Kind of Petri NetDouble Transition Timed Petri Net

LUO Yigui, GU Junzhong   

  1. (System Research Institute,Department of Computer Science ,East China Normal University,Shanghai 200062)
  • Published:2002-08-25

摘要: 嵌入式系统的设计尤其是复杂嵌入式系统的设计,需要对系统的稳定性、可靠性等进行分析,进而对系统进行设计优化。这首先需要对系统建立适当的模型进行仿真分析。该文在深入分析现有的基础上,构建了一种适合于嵌入式系统建模的新型。Petri NetPetri Net

关键词: 嵌入式系统, PetriNetVHDL

Abstract: The design of embedded system ,especially complex embedded system,needs verification of the stability and reliability ,and then the optimazation can be made.But an appropriate model should be constructured firstly.The author analyses the present Petri Nets and creats a new kind of Petri Net that is appropriate for embedded system modeling . ;;

中图分类号: