双层变迁定时Petri Net抽象化  

Abstraction of Double Transitions Timed Petri Net

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

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

出　　处：《计算机工程》2002年第11期41-43,共3页Computer Engineering

摘　　要：该文对双层变迁定时Petri Net进行了抽象化。抽象化的双层变迁定时Petri Net可用于嵌入式系统设计过程的中间态模拟。This paper presents the abstraction of double transitions timed Petri Net .The abstracted double transitions timed Petri Net can be used to model the intermediate results (as well as the final results) of embedded system design.

关 键 词：双层变迁定时PetriNet 嵌入式系统 建模工具 抽象化 

分 类 号：TP311.56[自动化与计算机技术—计算机软件与理论]