主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
宋巍,窦万春,刘茜萍.时间约束Petri网及其可调度性分析与验证.软件学报,2007,18(1):11-21
时间约束Petri网及其可调度性分析与验证
Timing Constraint Petri Nets and Their Schedulability Analysis and Verification
投稿时间:2005-12-09  修订日期:2006-04-03
DOI:
中文关键词:  时间相关Petri网  TCPN  弱可调度  强可调度  可调度性分析
英文关键词:time-related Petri nets  TCPN (timing constraint Petri nets)  weak schedulability  strong schedulability  schedulability analysis
基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60303025, 60673017 (国家自然科学基金); the Jiangsu Provincial NSF Research Funds under Grant Nos.BK2004411, BK2005208 (江苏省基础研究计划)
作者单位
宋巍 南京大学,计算机科学与技术系,江苏,南京,210093
计算机软件新技术国家重点实验室(南京大学),江苏,南京,210093 
窦万春 南京大学,计算机科学与技术系,江苏,南京,210093
计算机软件新技术国家重点实验室(南京大学),江苏,南京,210093 
刘茜萍 南京大学,计算机科学与技术系,江苏,南京,210093
计算机软件新技术国家重点实验室(南京大学),江苏,南京,210093 
摘要点击次数: 3543
全文下载次数: 3719
中文摘要:
      时间约束Petri网(timing constraint Petri nets,简称TCPN)是一类重要的时间Petri网系统.对相关定义重新界定,丰富并完善了TCPN理论.针对变迁可调度原始定义的不足,首先给出了变迁的弱/强可调度的新定义及强可调度判定定理;然后对变迁的强可调度进行了拓展,提出了TCPN时间可调度的概念,并结合Petri网结构给出了TCPN时间可调度判定定理;最后对TCPN的相关特性进行了研究.TCPN对时间Petri网的研究工作将起到启发作用,并对实时系统的描述和建模工作具有一定的参考价值.
英文摘要:
      TCPN (timing constraint Petri nets) is an important kind of time-related Petri nets. Some basic concepts are redefined to enrich and perfect corresponding the theory of TCPN. Firstly, the rigorous definitions for weak and strong schedulability of a transition are redefined to correct the irrationality of the original ones. The verification method for the strong schedulability is presented in the form of a theorem. Secondly, the definition of schedulability of TCPN is given and the corresponding necessary and sufficient condition is proposed. Finally, the characteristic of TCPN along with Petri nets and other time-related Petri nets is analysed. It is of certain illumination and referrence, both in research of time-related Petri nets and in modeling real-time systems.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

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