|
|||||
|
|
| 基于Time Petri Nets的实时系统资源冲突检测 | |
| 引用本文： | 周航,黄志球,胡军,祝义.基于Time Petri Nets的实时系统资源冲突检测[J].计算机研究与发展,2009,46(9). |
| 作者姓名： | 周航 黄志球 胡军 祝义 |
| 作者单位： | 1. 南京航空航天大学信息科学与技术学院,南京,210016 2. 南京航空航天大学信息科学与技术学院,南京,210016;南京大学计算机软件新技术国家重点实验室,南京,210093 3. 南京航空航天大学信息科学与技术学院,南京,210016;徐州师范大学计算机科学与技术学院,江苏徐州,221116 |
| 基金项目： | 航空科学基金项目，高等学校博士学科点专项科研基金项目 |
| 摘 要： | Time Petri Nets在实时系统的建模和性能分析中得到广泛应用,而冲突是Petri网及其扩展模型的重要行为,解决冲突是正确分析模型动态行为的关键.目前随机Petri网、混合Petri网和区间速率连续Petri网的冲突检测方法由于没有考虑到时间约束因此无法在TPN网中使用.时间约束的引入使得Time Petri Nets模型的使能和触发语义比Petri网模型的语义复杂,冲突检测变得更加困难.为了计算冲突发生的时间和概率,首先根据时间约束,给出了变迁持续使能时延迟区间的计算方法,并证明了该方法的合理性和完备性;然后在此基础上定义并证明了Time Petri Nets模型中不冲突的检测方法;并提出了Time Petri Nets模型的冲突检测方法,给出了冲突时间区间和变迁实施概率的计算方法;最后通过实例验证说明了该方法的正确性和有效性. |
| 关 键 词： | 时间Petri网 时间约束 资源 冲突 检测 |
Real-Time System Resource Conflict Checking Based on Time Petri Nets |
|
| Zhou Hang,Huang Zhiqiu,Hu Jun,Zhu Yi.Real-Time System Resource Conflict Checking Based on Time Petri Nets[J].Journal of Computer Research and Development,2009,46(9). | |
| Authors: | Zhou Hang Huang Zhiqiu Hu Jun Zhu Yi |
| Affiliation: | College of Information Science & Technology;Nanjing University of Aeronautics and Astronautics;Nanjing 210016;State Key Laboratory for Novel Software Technology;Nanjing University;Nanjing 210093;School of Computer Science and Technology;Xuzhou Normal University;Xuzhou;Jiangsu 221116 |
| Abstract: | Time Petri net is widely used to model real-time systems and to analyze system performance.Conflicts are important behaviors of Petri net and its expansion model.To solve conflicts is a key for analyzing model dynamic behaviors.Now,some conflict checking approaches are provided to check conflicts of some expansion Petri Nets which include stochastic Petri Nets,hybrid Petri net(HPN) and interval speed continuous Petri Nets(ICPN).But these approaches can not be used to check conflicts of time petri nets.Becau... |
| Keywords: | time Petri net time constrain resource conflict checking |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |