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