基于OOPN的嵌入式系统的建模研究与实现

• 作者: 孟传良 张成宇 田野 袁悦 高亮
• 来源期刊: 科技与创新
• 关键词: OOPN 嵌入式系统 Petri网 建模
• 年，卷（期）: 2007,（29）
• 所属期刊栏目: 嵌入式系统应用
• 页码范围: 9-11
• 页数: 3页
• 分类号: TP301
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2007.29.004

摘要

本文结合了面向对象和Petri网两种建模方法的优点,提出了一种新的面向对象Perri网的建模方法.主要研究了面向对象Petri网方法在嵌入式系统设计中的具体应用,并通过实验对该方法进行了正确性论证以及资源分配情况的定量分析.该方法为嵌入式系统的设计提出了一种行之有效的形式化分析方法,使得复杂的嵌入式系统描述更加模块化,具有可重用性,大大提高了嵌入式系统建模和分析的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孟传良	贵州大学电子科学与信息技术学院	25	154	5.0	12.0
2	张成宇	贵州大学电子科学与信息技术学院	10	75	3.0	8.0
3	田野	贵州大学电子科学与信息技术学院	14	49	4.0	6.0
4	高亮	贵州大学电子科学与信息技术学院	9	42	4.0	6.0
5	袁悦	贵州大学电子科学与信息技术学院	1	0	0.0	0.0