基于时间约束的软件工程资源配置Petri 网检测模型

随着物联网、云计算等大规模分布式系统在国内的日益流行,软件工程的应用环境已经不可避免的转向适用于分布式环境.而已有的基于时间约束的软件工程资源动态配置模型大都有所局限,无法评价其在大规模分布式环境中的效果.文中提出了一种基于 Petri 网模型的基于时间约束的软件工程资源动态配置检测模型,依据 petri 网理论,模拟大规模分布式环境下,检测异构软件工程资源动态配置模型间的协作与冲突.从而为软件工程资源动态配置模型更好的应用于实践,提供坚实的理论基础.实验证明,该方法可以及时的发现大规模分布式环境中,软件工程资源动态配置模型的冲突,为设计者及时反馈信息,避免损失     

基于时间约束的软件工程资源配置petri网检测模型

随着物联网、云计算等大规模分布式系统在国内的日益流行,软件工程的应用环境已经不可避免的转向适用于分布式环境。而已有的基于时间约束的软件工程资源动态配置模型大都有所局限,无法评价其在大规模分布式环境中的效果。本文提出了一种基于petri网模型的基于时间约束的软件工程资源动态配置检测模型,依据petri网理论,模拟大规模分布式环境下,检测异构软件工程资源动态配置模型间的协作与冲突。从而为软件工程资源动态配置模型更好的应用于实践,提供坚实的理论基础。实验证明,该方法可以及时的发现大规模分布式环境中,软件工程资源动态配置模型的冲突,为设计者及时反馈信息,避免损失。     

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

时间约束Ｐｅｔｒｉ风是具有广义时间约束的一类Ｐｅｔｒｉ网。目前有关ＴＣＰＮ状态可达性的研究仅局限于一些较简单的网,本文通过对ＴＣＰＮ的进一步研究,给出了更一般的状态可达性分析方法,并讨论了一般拓扑结构ＴＣＰＮ的可调度分析。     

具有时间约束的机组组合问题中的Petri网模型

给出了一种与环境有信息交流的受按记时Petri网系统模型，把这种模型应用于描述具有时间约束的机组启停状态转换过程，使具有时间约束的机组组合的动态规划法每一时段计算费用的状态数大大小于已有传统动态规划法的状态数，从而既处理了冷、热启动费用和最小启停机时间约束，又减少了计算费用的状态数，将合大大提高算法的效率。     

基于时间约束Petri网的工作流动态一致性检验

工作流系统中的时间管理是工作流建模和分析的重要组成部分。支持动态修改是人们在实际应用中对工作流系统提出的新要求。文中在基于时间约束的Petri网模型基础上，根据时间约束推理规则，提出一种动态修改时间约束时检验工作流一致性的方法，从而丰富了工作流的时间管理功能。     

基于时间约束Petri网的工作流动态一致性检验

工作流系统中的时间管理是工作流建模和分析的重要组成部分。支持动态修改是人们在实际应用中对工作流系统提出的新要求。文中在基于时间约束的Petri网模型基础上,根据时间约束推理规则,提出一种动态修改时间约束时检验工作流一致性的方法,从而丰富了工作流的时间管理功能。     

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

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

采用时间约束Petri网分析优化广电过程模型

企业过程模型评价效果很难通过简单途径取得定量的对比分析结果,本文提出时间约束Petri网理论,在企业过程模型的主要指标采用Little转化为以时间为主的评价体系的基础上,研究采用时间约束Petri网建模对企业过程模型分析的方法和分析优化步骤,并针对广电网络过程模型的具体流程给出的实际案例加以形式化分析,得出优化的方案.     

基于时间Petri网的AADL模型

随着嵌入式系统设计日益复杂,对系统的描述也提出了越来越高的要求,特别是实时性能。因此如何描述实时性能逐渐受到重视。在嵌入式系统中,线程的时间属性影响着系统的实时性,因此在设计早期利用AADL描述线程,但是AADL只是一种半形式化的语言,不够精确,并可能产生二义性。因此,把AADL模型转化为时间Pe砸网,但是时间Petri网不能很好地表示AADL的时间属性。故在研究AADL模型的时间属性的基础上,针对时间Petri考虑区域值延时与固定延时,并把固定延时当作区域值时延的一种特殊情况。最后给出针对AADL模型转化为时间Petri网的相应规则。     

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

在系统地研究了时间约束Ｐｅｔｒｉ网的基础上,提出了一般的状态可达性分析方法。通过讨论任意拓扑结构ＴＣＰＮ′ｓ的可调度分析,克服了以往ＴＣＰＮ′ｓ可达性分析方法的局限性,显示了该方法的准确性和实用性。     

基于Petri网的软件测试分析

软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试,是贯穿于整个开发生命周期的,尤其在开发早期,其作用更为重要。Petri网是一种好的分析工具,它能够动态运行程序模型,分析模型中存在的死锁、并发、冲突等问题,对程序正确性进行验证和分析。     

基于Petri网的软件体系结构可靠性分析

近年来,软件体系结构已成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一。对软件体系结构的可靠性分析是进行软件开发的一个重要依据,为了提高软件系统的性能,一个可靠的体系结构是整个软件系统的基础。文章通过分析体系结构的特征和可靠性因素,提出了一种基于Petri网的体系结构可靠性分析方法,对软件体系结构的各因素的可靠性进行分析评估,从而推导出整个软件体系结构的可靠性,并对软件体系结构可靠性进行实例研究。     

基于Time Petri Net的实时系统冲撞检测与消解

time Petri net (TPN)在实时控制系统的建模中得到广泛应用,而冲撞是Petri网及其扩展模型的重要行为,解决冲撞是正确分析模型动态行为的关键.由于引入时间约束,使得TPN模型的使能和触发语义比Petri 网模型的语义复杂,冲撞的检测及消解变得更加困难.首先根据时间约束,给出了变迁持续使能时延迟区间的计算方法,并证明了该方法的正确性;然后在此基础上定义并证明了TPN模型中冲撞的检测方法;给出了冲撞时间区间及修改时间约束的冲撞消解方法;最后通过实例验证说明了该方法的有效性和正确性.     

一种基于时间Petri网的工作流模型

面向任务流和资源流并行的业务过程,讨论了一类如何通过资源流控制任务流的工作流建模问题.在时间Petri网的基础上提出了一种称作资源/任务网(R/T-net)的工作流概念模型,并给出了基于R/T-net的工作流建模过程.设置在任务模型中的资源依赖和资源期望可以有效地实现资源流对任务流的控制,而其中的资源点火规则和资源路由规则可以灵活地实现资源的协调、同步、分配和传递,因此,比仅用时间属性刻画任务转移的时间Petri网模型更符合诸如办公、制造、物流运输等业务过程.     

基于Time Petri Nets的实时系统资源冲突检测

Time Petri Nets在实时系统的建模和性能分析中得到广泛应用,而冲突是Petri网及其扩展模型的重要行为,解决冲突是正确分析模型动态行为的关键.目前随机Petri网、混合Petri网和区间速率连续Petri网的冲突检测方法由于没有考虑到时间约束因此无法在TPN网中使用.时间约束的引入使得Time Petri Nets模型的使能和触发语义比Petri网模型的语义复杂,冲突检测变得更加困难.为了计算冲突发生的时间和概率,首先根据时间约束,给出了变迁持续使能时延迟区间的计算方法,并证明了该方法的合理性和完备性;然后在此基础上定义并证明了Time Petri Nets模型中不冲突的检测方法;并提出了Time Petri Nets模型的冲突检测方法,给出了冲突时间区间和变迁实施概率的计算方法;最后通过实例验证说明了该方法的正确性和有效性.     

采用随机Petri网的嵌入式机载软件可靠性检测

针对嵌入式机载软件设计中存在的典型缺陷问题，结合嵌入式机载软件任务调度特性，提出采用随机Petri网对嵌入式机载软件设计进行仿真验证的可靠性检测方法，以提高嵌入式机载软件设计的可靠性。该方法采用随机Petri网对嵌入式机载软件系统行为建模，并给出典型缺陷的检测策略和判定准则，然后通过对Petri网模型进行仿真验证，检测系统是否存在此类设计缺陷；并给出了软件设计的运行流程的仿真验证算法，以支持对相应设计的可靠性检测。通过与其他可靠性检测方法的比较，表明了该方法的有效性。     

利用时间约束Petri网进行项目绩效分析

时间Petri网(Time Petri Net)以及时延Petri网(Timed Petri Net)通过将时间约束引入到变迁中,广泛运用于任务调度以及性能分析,但是对于项目绩效分析所要求的关键路径、最短工期、成本分析等问题却无法有效解决.提出一种新的时间约束Petri网:将时间约束引入到库所中,在全局时钟的基础上,同时赋予Petri网的库所以延迟时间域和持续时间域两种时间约束,并且为T→P流关系的权函数赋予有色资源属性.给出时间约束Petri网的形式化定义,定义了变迁的发生规则,并引入状态类来计算状态的成本空间,给出状态类的计算方法.最后结合一个实例说明了利用时间约束Petri网进行项目的绩效分析的可行性.并用双色甘特图对时间约束Petri网的可达标识进行表述.     

基于时间约束Petri网的工作流可调度性分析

引入时间参数控制工作流高效执行是工作流技术研究的重要内容之一。在工作流的Petri网模型中引入时间参数,不仅可以对工作流中的活动进行时间约束,而且能建立相应的工作流时间约束Petri网模型。文中在分析该模型的时间约束和可调度性的基础上,提出了对工作流可调度性分析验证方法及其相应的算法,最后通过一个实例说明了分析验证的过程。