首页> 中文期刊> 《微电子学与计算机》 >基于Petri网的嵌入式系统建模

基于Petri网的嵌入式系统建模

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

基于对传统Petri网结构的修改,文章提出了一种新的模型方式,并具体给出相应的结构定义,图形表示和行为规则。该方法实现了控制信息和数据信息的统一化表示,从而易于表示系统中的循环和条件操作。最后就嵌入式系统的描述举例说明。

著录项

来源
《微电子学与计算机》 |2002年第10期|1-3|共3页
作者
高燕; 沈理;
展开▼
作者单位

中科院计算技术研究所;

展开▼
原文格式 PDF
正文语种 chi
中图分类操作系统;总体结构、系统结构;
关键词
Petri网; 嵌入式系统; 控制信息; 数据信息; 关联Petri网;

相似文献

中文文献
外文文献
专利

1. 基于时间Petri网的嵌入式系统构件建模与能耗分析 [J] . 张晶 ,王亮 ,范洪博 . 计算机工程 . 2017,第006期
2. 基于时间Petri网的嵌入式系统中断建模与验证 [J] . 周宽久 ,常军旺 ,侯刚 . 计算机科学 . 2014,第009期
3. 基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证 [J] . 杨年华 ,虞慧群 . 华东理工大学学报（自然科学版） . 2010,第003期
4. 基于Petri网的分布式实时嵌入式系统调度的建模 [J] . 张海涛 ,艾云峰 . 计算机工程 . 2006,第018期
5. 基于双变迁Petri网的嵌入式系统建模 [J] . 郭军 ,郝克刚 . 系统仿真学报 . 2005,第z1期
6. 基于双变迁Petri网的嵌入式系统建模 [C] . 郭军 ,郝克刚 . 第十次全国Petri网学术年会暨形式化方法学术讨论会 . 2005
7. 基于增广着色Petri网的嵌入式系统建模方法研究 [A] . 唐涛 . 2013

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号