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

Schedule Modeling Based on Petri Nets for Distributed Real-time Embedded Systems

作　　者：张海涛[1] 艾云峰[1] 

机构地区：[1]中国科学院自动化研究所复杂系统与智能科学重点实验室,北京100080

出　　处：《计算机工程》2006年第18期6-8,31,共4页Computer Engineering

基　　金：国家自然科学基金资助项目(60334020);国家杰出青年科学基金资助项目(60125310)

摘　　要：提出了一种基于资源的时间Petri网模型,以便建模分布式实时嵌入式系统中的静态调度,分析系统性能。该模型将处理器资源和通信资源,以及相应的优先级附着到变迁上,从而建模以下的分布式实时嵌入式系统:在单处理器上采用基于固定优先级的抢先式调度,处理器之间的通信采用基于固定优先级的不可抢先式调度。最后分析了该模型的语义、性质以及状态类图的构造方法。A time Petri net model based on resources is presented so as to model static schedule of distributed real-time embedded systems, and analyze system performances, The model attaches processor and communication resources, and respective priorities to transition, and well model following distributed embedded systems： using preemptive schedule based on fixed priority on single processor, using non-preemptive schedule for communication among processors. At last, the model＇s semantic and property is analyzed, and state class graph is constructed.

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

分 类 号：TP183[自动化与计算机技术—控制理论与控制工程]