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

• 作者: 古天龙 孟瑜
• 来源期刊: 桂林电子工业学院学报
• 学科: 工学
• 关键词: 嵌入式系统 Petri网 协同设计 时间分析
• 年，卷（期）: 2004,（3）
• 所属期刊栏目: 学术论文
• 页码范围: 12-17
• 页数: 6页
• 分类号: TP311
• 字数: 6717字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2004.03.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子工业学院计算机系	207	1546	18.0	30.0
2	孟瑜	桂林电子工业学院计算机系	11	20	2.0	4.0