首页> 中文期刊> 《计算机工程》 >一种新型Petri Net:双层变迁定时Petri Net

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

开具论文收录证明 >>

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

文献代查 >>

文献数据库（团队版） >>

页面导航

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

摘要

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

著录项

来源
《计算机工程》 |2002年第8期|45-47|共3页
作者
罗怡桂; 顾君忠;
展开▼
作者单位

华东师大计算机系系统所;

上海200062;

华东师大计算机系系统所;

上海200062;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.52;
关键词
嵌入式系统; Petri Net; VHDL;

相似文献

中文文献
外文文献
专利

1. 双层变迁定时Petri Net抽象化 [J] . 罗怡桂 ,顾君忠 . 计算机工程 . 2002,第011期
2. Application of PetriNet to workflow specification Petri Net在工作流管理系统形式说明中的应用 [J] . 刘玉林 ,吴晓群 . 长春师范学院学报 . 2000,第2期
3. 一种基于Petri-Net的新型MVC模式及实现 [J] . 李莹 ,王甲民 . 计算机工程与应用 . 2007,第017期
4. Designing Genetic Regulatory Networks Using Fuzzy Petri Nets Approach [J] . Raed I. Hamed ,Syed I. Ahson ,Rafat Parveen . 国际自动化与计算杂志 . 2010,第003期
5. 一种扩展了价格变迁的Petri网及应用 [C] . 江月 ,刘显明 . 2005年全国理论计算机科学学术年会 . 2005
6. 基于Color Petri Nets的HMIPv6协议形式化验证研究 [A] . 乔林 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号