双层变迁定时Petri Net抽象化

作     者：罗怡桂 顾君忠 

作者机构：华东师大计算机系系统所上海200062 

出 版 物：《计算机工程》 (Computer Engineering)

年 卷 期：2002年第28卷第11期

页      码：41-43页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-3428.2002.11.018

馆 藏 号：203159723...