计时扩展双变迁Petri网及其分析技术

摘要：

扩展双变迁Petri网是一种适合嵌入式系统的建模工具.但是,不能描述时间特性的不足限制了它在嵌入式系统软硬件协同设计中的应用.通过对扩展双变迁Petri网的变迁引入时间因子,以及该模型结构特征的分析研究,给出了计时扩展双变迁Petri网,及其状态方程和时间分析算法,从而使双变迁Petri网的描述能力增强;利用时间分析算法,可初步实现嵌入式系统的时间分析,为双变迁Petri网技术有效地运用于协同设计打下了基础.并基于时间分析算法设计开发了模型的时间分析工具,以便于开发人员自动地分析系统的时间性能.

关键词：嵌入式系统、Petri网、协同设计、时间分析

所属期刊栏目：24

分类号：TP311(计算技术、计算机技术)

资助基金：广西新世纪十百千人才工程基金

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

页数：共6页

页码：12-17