混合语义时间Petri网模型

丁志军1潘理2郭观七2

1.湖南理工学院; 2.同济大学;

摘要：

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

关键词：时间Petri网、混合语义、图灵等价性、不可判定性、调度分析

所属期刊栏目：22

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金60803032,60975049;教育部新世纪优秀人才计划NCET-10-0598;上海市重点基础研究项目基金09JC1414200;上海市"曙光计划";上海市青年科技启明星计划09QA1405900;武汉大学软件工程国家重点实验室开放基金

在线出版日期：2011-09-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：1199-1209