文献类型：期刊文献

中文题名：混合语义时间Petri网的特征条件及时间性质

英文题名：Characteristic Conditions and Timed Properties of Time Petri Nets with Mixed Semantics

作者：潘理[1,2];郑红[3];杨勃[1,2];周新民[4]

机构：[1]湖南理工学院信息与通信工程学院,岳阳414006;[2]湖南理工学院复杂系统优化与控制湖南省普通高等学校重点实验室,岳阳414006;[3]华东理工大学信息科学与工程学院,上海200237;[4]湖南商学院计算机与信息工程学院,长沙410205

年份：2014

卷号：41

期号：12

起止页码：202

中文期刊名：计算机科学

外文期刊名：Computer Science

收录：CSTPCD;;北大核心:【北大核心2011】；CSCD:【CSCD2013_2014】；

基金：国家自然科学基金(61103115);湖南省自然科学基金(11JJ4058;11JJ2037);湖南省教育厅科研项目(11A041;11B055);国家社会科学基金项目(13CJY007);湖南省高校科技创新团队支持计划(湘教通[2012]318-18)资助

语种：中文

中文关键词：时间Petri网;混合语义模型;特征条件;时间互模拟

外文关键词：Time Petri nets; Mixed semantics model ;Characteristic conditions;Timed bisimulation

摘要：针对时间Petri网现有强、弱语义模型在调度分析上存在的缺陷以及凝练调度一致性问题和调度时限性问题,提出混合语义模型解决方案,并给出混合语义模型的特征条件,比较混合语义模型与强、弱语义模型的时间互模拟能力,证明混合语义模型的正确性和时间行为的不可替代性。
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 scheduling 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.