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

:A New Kind of Petri NetDouble Transition Timed Petri Net

作　　者：罗怡桂[1] 顾君忠[1] 

机构地区：[1]华东师大计算机系系统所,上海200062

出　　处：《计算机工程》2002年第8期45-47,共3页Computer Engineering

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

关 键 词：嵌入式系统 VHDL 建模 PETRI网 PETRI NET 双层变迁定时Petri NET 

分 类 号：TP183[自动化与计算机技术—控制理论与控制工程]