期刊文献+

一种新型Petri Net:双层变迁定时Petri Net 被引量:8

:A New Kind of Petri NetDouble Transition Timed Petri Net
在线阅读 下载PDF
导出
摘要 嵌入式系统的设计尤其是复杂嵌入式系统的设计,需要对系统的稳定性、可靠性等进行分析,进而对系统进行设计优化。这首先需要对系统建立适当的模型进行仿真分析。该文在深入分析现有的基础上,构建了一种适合于嵌入式系统建模的新型。Petri NetPetri 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 . ;;
出处 《计算机工程》 CAS CSCD 北大核心 2002年第8期45-47,共3页 Computer Engineering
关键词 嵌入式系统 VHDL 建模 PETRI网 PETRI NET 双层变迁定时Petri NET Embedded systemPetri NetVHDL
  • 相关文献

参考文献1

  • 1Sjoholm S 边计年等(译).用VHDL设计电子线路[M].北京:清华大学出版社,2000,8..

共引文献1

同被引文献41

  • 1Murata T. Petri net: Properties, analysis and applications [J]. Proceedings of the IEEE, 1989, 77(4) : 541 - 580.
  • 2Benders L P M, Stevens M P J. Petri net modeling in embedded system design [C]// Computer Systems and Software Engineering Proceedings, CompEuro'92. Hague, Netherlands, 1992:612- 617.
  • 3Maciel P, Barros E, Rosenstiel W. A Petri net model for hardware/software codesign [J].Design Automation for Embedded Systems, 1999, 4(10):243 - 310.
  • 4PENG Zebo, Kuehcinski K. Automated transformation of algorithms into register-transfer level implementations [J]. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994, 13(1) : 150 - 166.
  • 5Lius Alejandro C, Eles P, Peng Z. A Petri net based model for heterogenous embedded systems [C]// IEEE NORCHIP Conference. Oslo, Norway, 1999:248 - 255.
  • 6Luis Alejandro C, Eles P, Peng Z. Modeling and formal verification of embedded systems on a Petri net representation [J]. Journal of Systems Architecture, 2003, 49:571 - 589.
  • 7Varea M, AI-Hashimi B. Dual transitions Petri net based modeling technique for embedded systems specification [C]// Proceedings of Design, Automation and Test in Europe. Munich, Germany, 2001:566- 571.
  • 8Freeman E. Strategic Management: A Stakeholder Approach [ M]. [ s. l. ] :Pitman Publishing Company, 1984.
  • 9McConnell S. Rapid Development [M]. [ s. l. ] :Microsoft Corporation, 1996.
  • 10Karat C. Guaranteeing rights for the user[J] .Communication of the ACM, 1998,41 (12) :29-31.

引证文献8

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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