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

摘要：

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

关键词：Petri网、嵌入式系统、调度、建模

所属期刊栏目：32

分类号：TP15(自动化基础理论)

资助基金：国家自然科学基金60334020;国家自然科学基金60125310

在线出版日期：2006-10-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：6-8,31