基于Petri网的分布式实时嵌入式系统调度的建模

• 作者: 张海涛 艾云峰
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Petri网 嵌入式系统 调度 建模
• 年，卷（期）: 2006,（18）
• 所属期刊栏目: 博士论文
• 页码范围: 6-8,31
• 页数: 4页
• 分类号: TP15
• 字数: 4116字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.18.003

摘要

提出了一种基于资源的时间Petri网模型,以便建模分布式实时嵌入式系统中的静态调度,分析系统性能.该模型将处理器资源和通信资源,以及相应的优先级附着到变迁上,从而建模以下的分布式实时嵌入式系统:在单处理器上采用基于固定优先级的抢先式调度,处理器之间的通信采用基于固定优先级的不可抢先式调度.最后分析了该模型的语义、性质以及状态类图的构造方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张海涛	中国科学院自动化研究所复杂系统与智能科学重点实验室	54	305	8.0	15.0
2	艾云峰	中国科学院自动化研究所复杂系统与智能科学重点实验室	12	33	3.0	5.0