混合语义时间Petri网模型

• 作者: 丁志军 潘理 郭观七
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 时间Petri网 混合语义 图灵等价性 不可判定性 调度分析
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 形式化方法与工具专刊
• 页码范围: 1199-1209
• 分类号: TP301
• 字数: 9156字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2011.04018

摘要

提出了时间Petri网的混合语义模型,通过在变迁及其非冲突变迁集的最小上界处设置强制实施点,排除冲突变迁对变迁可实施性的影响,达到既能扩大模型调度范围又可保证任务调度时限性的目的,以解决现有语义模型在调度分析上的缺陷.进一步证明了混合语义模型的图灵等价性及标识可达性问题的不可判定性,然后界定了3种语义模型的时间语言接受能力.最后提出了状态类分析方法,用于模型的可调度性分析和时间计算,并以一个柔性制造系统为例,比较和验证了3种语义模型的调度分析能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘理	湖南理工学院信息与通信工程学院	37	171	8.0	11.0
3	郭观七	湖南理工学院信息与通信工程学院	44	368	13.0	17.0
4	丁志军	同济大学计算机科学与技术系	37	329	8.0	17.0