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

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

The Timed Dual Transitions Petri Net Model and its Analytical Technology

The dual transitions Petri net is an efficacious tool for describing and studying embedded systems, but its application in hardware/software co-design is limited by its inability to deal with time information representation.In this paper,the Timed Dual Transitions Petri Net model is presented so as to represent timing property properly.State Equation and a timing analysis algorithm of this modeling technique are given to perform a timing performance analysis of systems.Based on the proposed algorithm,the timing analysis tool of the Timed Dual Transitions Petri Net is implemented.