摘要： 该文对双层变迁定时Petri Net进行了抽象化。抽象化的双层变迁定时Petri Net可用于嵌入式系统设计过程的中间态模拟。

关键词: 双层变迁定时Petri, Net, 嵌入式系统, 建模, 模拟

Abstract: 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.

中图分类号: 

• TP311.56