|
|||||
|
|
| 混合语义时间Petri网的特征条件及时间性质 | |
| 引用本文： | 潘理,郑红,杨勃,周新民.混合语义时间Petri网的特征条件及时间性质[J].计算机科学,2014,41(12):202-205,230. |
| 作者姓名： | 潘理 郑红 杨勃 周新民 |
| 作者单位： | 1. 湖南理工学院信息与通信工程学院 岳阳414006;湖南理工学院复杂系统优化与控制湖南省普通高等学校重点实验室 岳阳414006 2. 华东理工大学信息科学与工程学院 上海200237 3. 湖南商学院计算机与信息工程学院 长沙410205 |
| 基金项目： | 本文受国家自然科学基金(61103115),湖南省自然科学基金(11JJ4058,1JJ2037),湖南省教育厅科研项目(11A041,1B055),国家社会科学基金项目(13CJY007),湖南省高校科技创新团队支持计划(湘教通[2012]318-18)资助 |
| 摘 要： | 针对时间Petri网现有强、弱语义模型在调度分析上存在的缺陷以及凝练调度一致性问题和调度时限性问题,提出混合语义模型解决方案,并给出混合语义模型的特征条件,比较混合语义模型与强、弱语义模型的时间互模拟能力,证明混合语义模型的正确性和时间行为的不可替代性。 |
| 关 键 词： | 时间Petri网 混合语义模型 特征条件 时间互模拟 |
| 收稿时间： | 2013/6/25 0:00:00 |
| 修稿时间： | 2013/8/16 0:00:00 |
Characteristic Conditions and Timed Properties of Time Petri Nets with Mixed Semantics |
|
| PAN Li,ZHENG Hong,YANG Bo and ZHOU Xin-min.Characteristic Conditions and Timed Properties of Time Petri Nets with Mixed Semantics[J].Computer Science,2014,41(12):202-205,230. | |
| Authors: | PAN Li ZHENG Hong YANG Bo and ZHOU Xin-min |
| Affiliation: | School of Information and Communication Engineering,Hunan Institute of Science and Technology,Yueyang 404006,China;Key Laboratory of Optimization and Control of Complex Systems,College of Hunan Province,Yueyang 414006,China;Information Science and Engineering College,East China University of Science and Technology,Shanghai 200237,China;School of Information and Communication Engineering,Hunan Institute of Science and Technology,Yueyang 404006,China;Key Laboratory of Optimization and Control of Complex Systems,College of Hunan Province,Yueyang 414006,China;Computer and Information Engineering College,Hunan University of Commerce,Changsha 410205,China |
| Abstract: | Two time semantics,a strong semantics and a weak one,are usually adopted by time Petri nets in different application context.But they are limited in schedulability analysis because of scheduling consistency problem and sche-duling timeliness problem.This paper defined two characteristic conditions for consistency and timeliness,presented a time Petri net model with mixed semantics,and proved the mixed semantics model is more suitable for the schedulability analysis of real-time systems than the existing time semantics models.We further compared the timed bisimulation ability of the mixed semantics model and the strong and weak semantics models. |
| Keywords: | Time Petri nets Mixed semantics model Characteristic conditions Timed bisimulation |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》浏览原始摘要信息 | |
| 点击此处可从《计算机科学》下载全文 | |