延迟时间Petri网的验证分析

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户：kb8iii

【摘要】

：

延迟时间Petri网(Delay Time Petri Nets,DTPN)是一类重要的时间扩展Petri网系统,解决了其他时间扩展Petri网(如时间Petri网)在保存时间约束时所面临的困难。可调度验证的目

【作者】

：

冯复剑

【机构】

：

江苏第二师范学院

【出处】

：

计算机工程与应用

【发表日期】

：

2019年4期

【关键词】

：

实时系统延迟时间Petri网(DTPN) 验证分析 real-time systemsDelay Time Petri Nets(DTPN)verificat

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

延迟时间Petri网(Delay Time Petri Nets,DTPN)是一类重要的时间扩展Petri网系统,解决了其他时间扩展Petri网(如时间Petri网)在保存时间约束时所面临的困难。可调度验证的目的是验证工作流模型时间约束的合理性,对流程实例的时间可达性进行仿真。提出一种基于DTPN的时间约束工作流验证分析方法。给出了DTPN的相关定义,并结合工作流控制结构描述了变迁可触发的时间条件;提出了DTPN触发点的概念以及基于此的验证分析算法;简要分析了DTPN的特性。DTPN的研究丰富完善了现有时

其他文献

以岗位练兵为契机提高医疗服务质量

临床基本技能既是衡量医务人员服务水平的重要标准，也是提高医疗服务质量的基本特征。但从目前医疗机构的实际情况看，部分医务人员基本功不够扎实、医疗行为不规范、工作作风不

期刊

医疗服务质量岗位医院管理年活动医疗服务水平临床基本技能医务人员医疗机构医疗行为

浅谈开展优质护理服务对于提高护理质量的重要意义

对河南省三家甲等医院开展优质护理服务的情况进行讨论。在各家医院开展以患者为中心的整体护理模式以来,促进了护理学科的发展,大大提高了护理质量。但是由于各种因素的影响

期刊

以人为本整体护理护理模式

浅谈室内情景剧《七十二家房客》三机摄像运用

本文简要地叙述了表现人物的摄像手段,提出室内情景剧适合运用三机拍摄,概括地总结了电视剧《七十二家房客》的三机拍摄经验。文章还指出,技巧的运用应不留痕迹。

期刊

七十二家房客三机拍摄室内情景剧

宝鸡市直属公立医院人力资源管理调研与探讨

目的通过人力资源管理,优化人才资源配置,促进医院科学发展.方法采用实地走访调研、数据统计分析和综合评价法进行人力资源管理考评.结果（1）促进医院建立健全人力资源管理机

期刊

医院人力资源管理Hospital Human Resources Management

投资未来

我们国内称作的“风险投资”，应更名为“创业投资”更为准确，英文是“Venture Capital”，Ven ture”的意思是，而没有风险的意思，所以名正名顺比较好。

期刊

中国风险投资中小企业政府职能

发展迅速前景广阔的我国对外承包工程和劳务合作

期刊

对外承包工程劳务合作中国对外贸易

研究性学习中高校图书馆信息资源配置的思考

研究性学习是自主探究学习过程,需要大量信息资源。高校图书馆以其资源丰富、种类齐全、形式多样在研究性学习中起着重要作用。高校图书馆应依据学校办学定位、文献载体特点

期刊

研究性学习资源配置馆藏资源

2015年美国波多里奇国家质量奖获奖组织介绍:美国中部器官移植服务部

美国中部器官移植服务部(Mid-America Transplant Services)是一家非营利性的私人机构,主要开展人体组织器官的获取,指定的服务地区包括密苏里州东部、南伊利诺斯州、阿肯色

期刊

器官移植美国中部身体组织私人机构伊利诺斯州人体组织器官密苏里州全美阿肯色州肾脏移植@@

用64层螺旋CT三维容积重建检查对肋骨骨折患者进行诊断的效果研究

目的:探讨用64层螺旋CT三维容积重建检查对肋骨骨折患者进行诊断的临床效果。方法:对2011年1月~2013年1月期间我院收治的72例肋骨骨折患者的临床资料进行回顾性研究。为这72

期刊

64层螺旋CT三维容积重建肋骨骨折诊断效果

鱼类实验动物与剑尾鱼水生实验动物化

鱼类在水环境污染监测、水中化学物质的生物积累以及生物医学等多个研究领域扮演着重要角色。鱼类实验动物已开始成为众多研究者关注的热点，但在鱼类实验动物化方面的研究相对

期刊

医学实验水质监测实验动物剑尾鱼培育

延迟时间Petri网的验证分析

与本文相关的学术论文