文献类型：会议论文

中文题名：一种改进的DTPN调度分析方法

作者：张姝[1];孙悦[1];马楠[1];李冬云[1];

第一作者：张姝

机构：[1]北京联合大学信息学院 北京 100101;

第一机构：北京联合大学智慧城市学院

会议论文集：中国计算机用户协会网络应用分会2007年网络技术与应用年会论文汇编

会议日期：2007年10月25日

会议地点：天津

主办单位：中国计算机用户协会

语种：中文

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

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