共查询到19条相似文献,搜索用时 562 毫秒
1.
time Petri net(TPN)在实时控制系统的建模中得到广泛应用,而冲撞是Petri网及其扩展模型的重要行为,解决冲撞是正确分析模型动态行为的关键.由于引入时间约束,使得TPN模型的使能和触发语义比Petri网模型的语义复杂,冲撞的检测及消解变得更加困难.首先根据时间约束,给出了变迁持续使能时延迟区间的计算方法,并证明了该方法的正确性;然后在此基础上定义并证明了TPN模型中冲撞的检测方法;给出了冲撞时间区间及修改时间约束的冲撞消解方法;最后通过实例验证说明了该方法的有效性和正确性. 相似文献
2.
时间约束Petri网的可调度性分析研究 总被引:3,自引:0,他引:3
1 引言时间约束Petri网(Timing Constraint PetriNets,TCPN’s)是具有广义时间约束的Petri网,它综合了时间Petri网)(Time Petri Nets)和赋时Petri网(Timed Petri Nets)的共同特点,具有经典Petri网的理论基础和额外的时间约束能力。在实时系统建模中,它可对其它与时间有关的Petri网所不能描述的冲突结构进行建模和分析。TCPN’s使用弱触发规则,即:使能的变迁可触发也可不触发,完全由调度者决 相似文献
3.
4.
5.
6.
冯复剑 《计算机工程与应用》2016,52(12):26-30
提出一种时间约束工作流的可调度性分析方法。针对时间约束Petri网(Timing Constraint Petri Nets,TCPN)为普通Petri网无法建模多参与资源的不足,给出了扩展的时间约束Petri网(w-TCPN)的定义;结合w-TCPN的拓扑结构,从模型和实例两个层次,给出了w-TCPN变迁可调度的判定定理;提出了时间约束的调整策略。w-TCPN的研究使得时间约束工作流的建模和可调度性分析更加合理。 相似文献
7.
利用时间约束Petri网进行项目绩效分析 总被引:1,自引:0,他引:1
时间Petri网(Time Petri Net)以及时延Petri网(Timed Petri Net)通过将时间约束引入到变迁中,广泛运用于任务调度以及性能分析,但是对于项目绩效分析所要求的关键路径、最短工期、成本分析等问题却无法有效解决.提出一种新的时间约束Petri网:将时间约束引入到库所中,在全局时钟的基础上,同时赋予Petri网的库所以延迟时间域和持续时间域两种时间约束,并且为T→P流关系的权函数赋予有色资源属性.给出时间约束Petri网的形式化定义,定义了变迁的发生规则,并引入状态类来计算状态的成本空间,给出状态类的计算方法.最后结合一个实例说明了利用时间约束Petri网进行项目的绩效分析的可行性.并用双色甘特图对时间约束Petri网的可达标识进行表述. 相似文献
8.
9.
冯复剑 《计算机应用与软件》2019,36(7)
为了解决实时系统中流程相似性的判定问题,提出一种基于流程中活动的拓扑结构和触发点的流程相似性度量方法。采用延迟时间Petri网(Delay Time Petri Nets,DTPN)模型来表示流程,用于找出流程的触发调度;定义活动时间约束路由关系,给出它们之间的距离和相似度计算公式,进而计算出流程之间的相似度;在此基础上设计相关算法,并且分析时间复杂度。通过实例验证了该算法在时间约束工作流相似性度量方面的有效性。 相似文献
10.
时间Petri网存在强语义和弱语义两种模型,弱语义模型更适合建模和分析外部环境触发的冲突选择问题,但其形式语义和可达性分析方面的研究,却很少有人问津。利用带标号的变迁系统定义时间Petri网弱语义模型的形式语义,采用时间戳状态类方法分析它的可达性,并证明了可达性问题的可判性和状态类时间戳的全局时间性质。 相似文献
11.
12.
一类Petri网系统的活性 总被引:2,自引:0,他引:2
Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具,当用Petri网来模拟一个实际系统时,关心的问题之一就是要确定这个Petri网模型是否具有一些所期望的特生,如活性、有界性等,这些特性均是系统的重要动态行为,该文基于文献[1]给出了Petri网的一子类,即弱化非自控网(Weak Extended Non SelfControlling Nets,简称WENSeC网),该类网覆盖了扩展自由选择网和扩展非自控网,文中提出了并证明了WENSeC网系统活性的的充分必要条件满足死锁-陷阱性质,同时对WENSeC网的一子类,通过转化方法,证明了该类结构有界网的结构活判定算法可借用扩非自控网的有关结果也是多项式时间算法。 相似文献
13.
针对建立运输机器人的精准行为模型所遇到的新困难,提出采用含禁止弧Petri网(PN)建立其行为模型。运输机器人行为有耦合、制约、异步等特点,采用含禁止弧的行为交互Petri网元模型以及token流动控制机制建模其行为。通过LabVIEW2012及Robotics模块,将Petri网模型转化为LabVIEW程序,在运输机器人平台进行行为验证。结果实现了运输机器人的行为与交互逻辑,具有行为辨识、决策与执行能力。验证了含禁止弧Petri网为运输机器人的行为建模提供了一种适用方法,建立的Petri网模型为运输机器人的相关行为设计提供模型参考。 相似文献
14.
15.
时间Petri网的分析工具PANT及其在调度问题中的应用 总被引:8,自引:1,他引:7
本文介绍了时间Petri网的分析工具PANT。我们将首先探讨PANT所处理Petri网的结构以及它所表现出的动态行为,并构造出相应的分析算法;其次,我们将通过求并行计算的调度问题,探讨如何利用PANT对时间Petri网的分析能力来解决应用问题。 相似文献
16.
排队系统的着色Petri网建模与分析 总被引:1,自引:0,他引:1
着色Petri网(CPN)是研究离散事件动态系统的有力工具,将着色Petri网引入排队系统建模中,能弥补排队模型缺乏动态逻辑行为分析能力的不足。针对排队系统一般模型建立顶层结构模型,并对排队系统的4个要素给出了具体的CPN描述。给出一个具体实例,阐明排队系统的CPN分析法的使用,利用仿真工具CPN-Tools对模型仿真实现,仿真结果与数学模型得出的理论值对比分析,验证了可行性。 相似文献
17.
联锁逻辑模型的安全性分析 总被引:3,自引:0,他引:3
故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统的可靠性和安全性的一种有效方法。时间Petri网(TPN)描述具有时序关系的并发系统,用于系统行为的动态建模。但利用时间Petri网无法严格证明其模型是安全的。提出了一种用于时间Petri网模型的安全性分析方法,该方法有效地结合故障树分析法和时间Petri网的各自优点,实际应用于联锁逻辑模型的安全性分析,并对不安全的模型提出修正方案。 相似文献
18.
一种基于同步合成构造Petri网进程表达式的方法 总被引:2,自引:0,他引:2
Petri网的进程是用于系统行为和状态描述的有效工具,Petri网的进程表达式可以给出系统全部进程的描述,但是对于任意无界Petri网而言求取其进程表达式十分困难.文中首先考察结构简单的S-网的进程行为,给出各种类型的S-网的进程表达式的描述方法.然后拓展了Petri网同步合成的概念,分析了同步合成过程中基本进程段集之间的关系,并利用同步混排给出了进程表达式之间的关系.随后证明了一个Petri网可以通过一组S-网同步合成得到,利用S-网的进程表达式给出了构造Petri网的进程表达式的方法. 相似文献
19.
计算高级Petri网S-不变量的一种简单算法 总被引:3,自引:0,他引:3
在高级Petri网的性质分析中,S—不变量的方法是一个重要的方法,如何计算高级Petri网的S—不变量是一个重要课题。本文基于复合标志(Token)和标志流路的概念,给出了一个整系数线性方程系统,由该线性方程系统,可以得到高级Petri网的所有S—不变量,而不必将高级Petri网扩展为一般Petri网。 相似文献