收藏本站
《计算机科学》 2000年03期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

时间约束Petri网的可调度性分析研究

李慧芳  李人厚  
【摘要】:正 1 引言时间约束Petri网(Timing Constraint PetriNets,TCPN’s)是具有广义时间约束的Petri网,它综合了时间Petri网)(Time Petri Nets)和赋时Petri网(Timed Petri Nets)的共同特点,具有经典Petri网的理论基础和额外的时间约束能力。在实时系统建模中,它可对其它与时间有关的Petri网所不能描述的冲突结构进行建模和分析。TCPN’s使用弱触发规则,即:使能的变迁可触发也可不触发,完全由调度者决

【引证文献】
中国期刊全文数据库 前4条
1 左凤朝;基于Petri网的数据库系统并发控制模型[J];计算机工程与应用;2002年13期
2 宋宇博;蒋兆远;牟海波;;基于Petri网的网络最小费用最大流算法[J];兰州交通大学学报;2011年03期
3 叶阳东,杜彦华,高军伟,贾利民;时间Petri网的时间知识推理算法及在铁路智能运输系统中的应用[J];铁道学报;2002年05期
4 于瑞强;黄志球;;利用时间约束Petri网进行项目绩效分析[J];小型微型计算机系统;2010年02期
中国硕士学位论文全文数据库 前1条
1 周春姐;分布式工作流系统的时间管理模型研究[D];湖南科技大学;2007年
【同被引文献】
中国期刊全文数据库 前10条
1 刘婷,林闯,刘卫东;基于时间Petri网的工作流系统模型的线性推理[J];电子学报;2002年02期
2 高梅梅,吴智铭;一种基于线性逻辑的时间Petri网推理方法[J];计算机研究与发展;2000年12期
3 虎嵩林,熊锦华,李刚,韩燕波;服务网格中的业务端即时应用集成技术研究[J];计算机研究与发展;2003年12期
4 李慧芳,范玉顺;时间约束工作流模型的可调度性分析算法[J];计算机集成制造系统-CIMS;2002年07期
5 林闯;一种资源共享系统的模型和近似性能分析[J];计算机学报;1997年10期
6 谢政,汤泽滢;带模糊约束的最小费用流问题[J];模糊系统与数学;1999年02期
7 李慧芳 ,范玉顺;Schedulability Analysis Method of Timing Constraint Petri Nets[J];Tsinghua Science and Technology;2002年06期
8 李慧芳,范玉顺;工作流系统时间管理[J];软件学报;2002年08期
9 刘步权,王怀民,姚益平;一种无死锁的时间管理算法[J];软件学报;2003年09期
10 杜栓柱,谭建荣,陆国栋;工作流模型中多粒度时间约束描述及其分析[J];软件学报;2003年11期
【二级引证文献】
中国期刊全文数据库 前10条
1 乐晓波,陈黎静;Petri网应用综述[J];长沙交通学院学报;2004年02期
2 陈国宁,李陶深;CSCD环境下协作设计过程的一种建模方法及应用[J];广西科学院学报;2004年02期
3 姚晓玲,吴哲辉;2PL协议的Petri网模型[J];计算机工程与应用;2004年24期
4 叶阳东,王娟,贾利民;基于模糊时间Petri网的列车运行时间不确定性问题的处理[J];铁道学报;2005年01期
5 杜彦华,刘春煌,叶阳东;不确定性时间知识推理和验证算法及列车群建模分析[J];铁道学报;2005年03期
6 叶阳东;程少芬;王旭;贾利民;;基于一种混合Petri网的列车运行系统的建模与分析[J];铁道学报;2009年05期
7 陈彦舟;冯朝辉;;基于增广有色Petri网带封锁机制的并发控制模型[J];网络安全技术与应用;2011年04期
8 沈剑沧;鲍培明;;XML在图书查询系统中的实现技术[J];现代图书情报技术;2006年10期
9 蒋忠远;宋文;姚建;;基于增广Petri网带封锁机制的数据库并发控制模型[J];系统仿真学报;2007年S1期
10 马军霞;卢红星;;基于一种模糊时间Petri网的不确定性时间知识表示和推理[J];郑州轻工业学院学报(自然科学版);2008年04期
中国重要会议论文全文数据库 前1条
1 王旭;卢红星;叶阳东;贾利民;;基于混合Petri网的列车速度调整的分析[A];第二十七届中国控制会议论文集[C];2008年
中国博士学位论文全文数据库 前4条
1 高军伟;切换系统建模、控制理论与应用研究[D];铁道部科学研究院;2003年
2 黎新华;单线区段列车运行图铺划与运行调整优化方法研究[D];中南大学;2005年
3 李建华;GIS动态集成框架及其UIB核心相关问题研究[D];武汉大学;2005年
4 杜彦华;基于EFTPN不确定时间知识的分析处理及其在铁路中的应用[D];铁道部科学研究院;2006年
中国硕士学位论文全文数据库 前10条
1 周清;基于混合Petri网的列车运行系统中时间推理问题的研究[D];郑州大学;2010年
2 肖良清;基于时间Petri网的并行测试研究[D];长沙理工大学;2010年
3 丁富玲;模糊Petri网动态性能的研究与分析[D];杭州电子科技大学;2009年
4 杜彦华;基于多Agent的分布式列车运行仿真系统的研究[D];郑州大学;2003年
5 谭旭;模糊Petri网在网络故障诊断中的应用研究[D];长沙理工大学;2005年
6 沈剑沧;XML查询方法研究[D];华东师范大学;2006年
7 王雪辉;基于PETRI网建模的企业铁路调度作业计划智能编排系统的研究[D];合肥工业大学;2006年
8 孟永刚;基于Petri网下的离散事件的模拟与动态系统的验证[D];西华大学;2006年
9 秦瑛;机场终端区作业的离散事件系统建模与优化[D];中国民用航空学院;2006年
10 杨松;自控网系统的理论及应用研究[D];西华大学;2007年
【相似文献】
中国期刊全文数据库 前10条
1 杨毅;杨新伦;;基于Petri网时间约束工作流的研究与应用[J];广西工学院学报;2011年02期
2 程广金;缪淮扣;方明科;梅佳;髙洪皓;;基于XML的Web应用模型抽取[J];计算机科学;2011年09期
3 朱爱华;;网络社会价值观念的发展与变迁探析[J];辽宁行政学院学报;2011年07期
4 周智刚;;计算资源共享平台中工作流任务调度研究[J];计算机工程与设计;2011年06期
5 陈小文;;从媒介的发展看媒介权力的变迁[J];现代视听;2011年06期
6 关琮严;;中国共产党政治动员的媒介形式变迁[J];新闻研究导刊;2011年07期
7 路璐;;简论建国以来中国媒体中的美国形象变迁——以《人民日报》为例[J];新闻世界;2011年06期
8 张悦;王坚;;连续型企业生产过程能源预测模型及其仿真[J];计算机集成制造系统;2011年07期
9 曲长征;于永利;;装备基本任务单元可用度Petri网仿真模型及应用[J];系统工程与电子技术;2011年06期
10 吴翔之;;大众传媒的文化建构:区域民俗的传承与变迁[J];新闻知识;2011年07期
中国重要会议论文全文数据库 前10条
1 韩锐;刘英博;闻立杰;王建民;;工作流管理系统中一种概率性分析和调整时间约束的方法[A];第26届中国数据库学术会议论文集(A辑)[C];2009年
2 李庆真;;从“村落”到“村”:解读一个变迁中的村庄[A];中国社会学会2010年年会——“社会稳定与社会管理机制研究”论坛论文集[C];2010年
3 丁丽萍;王永吉;;多维计算机取证模型研究[A];第二十次全国计算机安全学术交流会论文集[C];2005年
4 黄典伟;吴智铭;;实时离散事件系统建模[A];1995中国控制与决策学术年会论文集[C];1995年
5 黄喜;于天飞;;基于时间约束网络的项目实施冲突识别算法[A];第十届中国管理科学学术年会论文集[C];2008年
6 花溪;王元楣;;建国以来我国中学地理课程标准中教学目标的变迁[A];中国地理学会百年庆典学术论文摘要集[C];2009年
7 高永久;刘庸;;西北民族地区城市社区变迁研究[A];第七次全国民族理论研讨会会议论文集[C];2004年
8 李予军;;从社会语言学角度看城市化发展与语言的变迁[A];第二届城市科学论坛论文集[C];2006年
9 范允行;李明华;;论中国环境政策的变迁[A];秩序与进步:社会建设、社会政策与和谐社会研究——浙江省社会学学会成立二十周年纪念暨2007学术年会论文集[C];2007年
10 李霞;;我院近几年凝固酶阴性葡萄球菌分布及耐药变迁[A];中华医学会第七次全国检验医学学术会议资料汇编[C];2008年
中国重要报纸全文数据库 前10条
1 王则柯;规划要加强时间约束意识[N];中国经济时报;2000年
2 文强;变迁中的保存[N];人民日报海外版;2001年
3 本报记者 苗武军;化南沟的变迁[N];山西日报;2000年
4 中行衢州分行 徐龙华;金融体系的变迁及其影响[N];上海金融报;2002年
5 新华社记者;病房中,天使能把安全留给别人[N];新华每日电讯;2003年
6 刘喜梅;“天府”的变迁[N];检察日报;2002年
7 周倩;吃的变迁[N];经济日报;2002年
8 张长星/策划 宋奋伟/撰文;购物 随时代进步变迁[N];山西日报;2002年
9 王玉玲 秦海波;用的变迁[N];经济日报;2002年
10 本报驻泰国记者 孙伟;黎敦山的变迁[N];人民日报;2000年
中国博士学位论文全文数据库 前10条
1 汤新民;基于Petri网的航空发动机车间维修过程建模及其应用研究[D];哈尔滨工业大学;2007年
2 窦强;分布式强实时系统中可调度性分析算法的研究[D];国防科学技术大学;2001年
3 李冬梅;论中国现代普通高校体育制度的变迁[D];北京体育大学;2006年
4 黄丽;湖南维吾尔族的社会变迁与文化调适[D];兰州大学;2008年
5 姜虹;地方政府与区域经济变迁[D];复旦大学;2005年
6 廉高波;中国农村经济组织:模式、变迁与创新[D];西北大学;2005年
7 高广滨;中国新型农民合作经济组织发展的经济学思考[D];吉林大学;2005年
8 纪琼骁;中国金融监管制度的变迁[D];武汉大学;2005年
9 刘丽娜;会计的契约本质与企业会计规则变迁研究[D];山东大学;2007年
10 崔鹏飞;秦皇岛开埠与区域经济的近代变迁[D];河北师范大学;2008年
中国硕士学位论文全文数据库 前10条
1 张晓武;河西地区回族社区变迁研究[D];西北民族大学;2007年
2 李晓玲;改革开放以来我国会计制度变迁的社会成本研究[D];山东大学;2007年
3 王树春;保安族生计方式变迁研究[D];中央民族大学;2008年
4 杨环环;30年中国电视广告男性形象变迁研究[D];苏州大学;2009年
5 肖霞;论改革开放以来中国社会价值观的变迁[D];河南大学;2009年
6 张玉龙;述论近代长沙古街巷文化[D];湖南师范大学;2009年
7 热比古丽·卡地尔;现代维吾尔族婚姻变迁研究[D];新疆大学;2009年
8 宇文娜;西安市“城中村”居住形态的变迁与更新研究[D];西安建筑科技大学;2005年
9 王潇苑;鄂伦春族传统音乐生活的历史变迁[D];中国艺术研究院;2005年
10 朱海强;论高新技术产业对社会结构变迁的影响[D];广西大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026