主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
潘理,丁志军,郭观七.混合语义时间Petri 网模型.软件学报,2011,22(6):1199-1209
混合语义时间Petri 网模型
Time Petri Net Model with Mixed Semantics
投稿时间:2010-07-10  修订日期:2011-03-29
DOI:10.3724/SP.J.1001.2011.04018
中文关键词:  时间Petri 网  混合语义  图灵等价性  不可判定性  调度分析
英文关键词:time Petri net  mixed semantics  turing equivalence  undecidability  schedulability analysis
基金项目:国家自然科学基金(60803032, 60975049); 教育部新世纪优秀人才计划(NCET-10-0598); 上海市重点基础研究项目基金(09JC1414200); 上海市“曙光计划”; 上海市青年科技启明星计划(09QA1405900); 武汉大学软件工程国家重点实验室开放基金项目
作者单位E-mail
潘理 湖南理工学院 信息与通信工程学院,湖南 岳阳 414006
同济大学 计算机科学与技术系,上海 200092 
 
丁志军 同济大学 计算机科学与技术系,上海 200092
武汉大学 软件工程国家重点实验室,湖北 武汉 430072 
zhijun_ding@hotmail.com 
郭观七 湖南理工学院 信息与通信工程学院,湖南 岳阳 414006  
摘要点击次数: 5918
全文下载次数: 3962
中文摘要:
      提出了时间Petri 网的混合语义模型,通过在变迁及其非冲突变迁集的最小上界处设置强制实施点,排除冲突变迁对变迁可实施性的影响,达到既能扩大模型调度范围又可保证任务调度时限性的目的,以解决现有语义模型在调度分析上的缺陷.进一步证明了混合语义模型的图灵等价性及标识可达性问题的不可判定性,然后界定了3 种语义模型的时间语言接受能力.最后提出了状态类分析方法,用于模型的可调度性分析和时间计算,并以一个柔性制造系统为例,比较和验证了3 种语义模型的调度分析能力.
英文摘要:
      This paper presents a time Petri net (TPN) model with mixed semantics that efficiently addresses the schedulability analysis problem of the existing semantics models. The proposed model associates each firable transition with a mandatory firing point that is set to the least upper bound of the transition and its non-conflicting transitions. This treatment not only eliminates the effect of conflicting transitions on the transition friability and extends the scheduling scope of the TPN model, but also ensures the time limit of the task scheduling. To determine the expressiveness of the mixed model, the study proves that the mixed semantics model has the power of Turing machines and its marking reachability problem is undecidable. The timed expressiveness of three semantics models with respect to timed language acceptance is also compared. A state class approach is then proposed for the scheduling analysis of the mixed model. Finally, a flexible manufacturing system is used as an example to compare the scheduling ability of three semantics models.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利