一种改进的DTPN调度分析方法

摘要：

时间Petri网(TPNs)是实时系统时间特性常用的描述和验证的Petri网模型。组件级化简方法是TPN模型常用的分析方法。本文引入延迟时间Petri网(DTPN),为了分析化简后的DTPN模型,提出了一种新的DT-PN调度分析方法。通过该分析方法,使组件TPN模型向DTPN模型转化,使化简后模型既保持外部可观察时间特性,又保持组件内部的冲突和并发等性质。

关键词： 组件级化简 时间Petri网 调度分析 实时系统

作者: 张姝 孙悦 马楠 李冬云

作者单位: 北京联合大学信息学院 北京 100101

会议类型: 国内会议

会议名称: 中国计算机用户协会网络应用分会2007年网络技术与应用年会

会议地点: 天津

会议语种:中文

页码: 134-136,142

在线出版日期: 2007-10-25（万方平台首次上网日期，不代表论文的发表时间）