基于价格时延Petri网的超级节点网格调度

针对资源节点基于语义相似度聚类的超级节点模式网格,提出了一种面向用户截止时间、费用上限及二者之间偏好参数等QoS参数约束的网格协作型任务调度算法,其中考虑资源的动态性,引入重调度机制。然后,采用价格时延Petri网这一图形与数学工具,对复杂的调度过程进行形式化、层次化建模,增进对调度系统的理解。构建调度模型的可达任务图,分析调度系统的诸如调度时间、费用、吞吐量、负载平衡等重要性能。实例验证调度算法的有效性,分析了需要协调多种类型资源的网格协作型任务的调度过程及调度系统的若干重要特性。研究内容对于指导实际超级节点模式网格系统的开发、部署均具有重要意义。

考虑行人影响的时延Petri网交叉口信号控制研究

论文基于时延Petri网(Timed Petri Net,TdPN)建立了一种考虑行人影响的可变相序信号控制模型,以有效缓解城市交叉口交通拥堵、车辆通行效率低下的问题。首先使用时延Petri网描述行人过街行为及其与车流冲突的过程,并对可变相序下车流受行人影响的配时进行决策,提出了一种滚动优化算法。该算法结合每个信号周期的车流与行人信息,按照先决策相序后决策配时的步骤对系统进行滚动优化,最终获得当前周期的最佳信号控制方案。通过将此模型与其他未虑行人影响的可变相序模型[12]和固定相序时延Petri网模型综合对比验证发现,该模型能有效缓解交通拥堵、提高交叉口的通行效率。

一种扩展了价格信息的时间Petri网

性能和成本分析是业务流程建模的主要目的,扩展了时间信息的Petri网能够有效地进行性能分析,但是对成本分析却无能为力.提出一种扩展了价格信息的时间Petri网——价格时间Petri网.首先为时间变迁扩展价格参数,并使用价格时间变迁系统给出价格时间Petri网的语义;然后提出计价状态类的概念,并证明为状态类扩展累积成本的合理性和完备性;进而给出一种算法来证明有界价格时间Petri网的最小成本可达问题是可判定的;最后给出一个应用例子并得出结论:为时间Petri网扩展价格信息并将其应用于业务流程管理领域是可行的.

基于时延Petri网模型的机器人装配任务规划

采用时延Petri网针对有代表性的柔性装配单元进行建模 ,柔性装配单元包括装配机器人、拧螺钉机器人、变位器和加工中心等自动装配和制造中的常用设备 ,具有较大的通用性。推导了顺序作业和并行作业的时间消耗计算方法 ,针对具体任务提出了任务规划的时间优化算法 ,通过仿真和试验两种方法对最优规划序列进行了验证。该项研究可在作业时间要求严格的场合产生优化的装配任务序列 。

基于时延Petri网的交通信号配时方案建模与分析

针对一般情况提出一个建立道路交叉口交通信号配时方案时延Petri网模型的方法.该方法将进入交叉口车流通行权的描述细化到了每一个行驶方向每一个转向,因此便于对系统模型各种性质进行分析以及适合将其作为基于Petri网的城市交通网络仿真模型的一个组成部分.讨论模型分析并针对一个实例给出了模型仿真运行的结果.

一种价格时间Petri网的状态空间计算

价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具.而价格时间自动机则是一种相对成熟的工具.提出一种状态空间计算方法,可以将价格时间Petri网的状态空间构造为一个价格时间自动机.该方法的核心思想是在扩展状态类中增加价格参数.进一步证明了构造出的价格时间自动机和初始的价格时间Petri网是双相似的.

价格着色Petri网的最小成本可达问题

针对实际业务流程建模中成本预算分析的需要,在着色网的基础上扩展价格信息,提出价格着色网。讨论价格着色网的变迁步规则,根据提出的经济标识,给出最小成本构造算法,以一个业务流程实例演示该模型的应用,证明其能够较好地解决业务流程建模中的成本预算分析问题。

带抑制弧的时延着色Petri网模型检测技术

带抑制弧的时延着色Petri网(Timed Colored Petri Nets with Inhibitor Arcs,TCPNIA)是一种描述实时嵌入式系统的模型。给出了从TCPNIA到时间自动机的结构化转换算法,以利用变迁冲突调解机制保证TCPNIA模型和转换后的时间自动机模型语义等价;并给出了语义等价的证明和算法复杂度分析。层次化方法被用来提高模型检测的时间与空间效率。通过实际案例展示了该技术的应用和可行性。

时延Petri网分布式模拟的先行值研究

先行值计算是提高时延 Petri 网并行模拟性能的一个好的方法。给出了时延 Petri 网的先行值计算的四种基本结构,对于存在循环的复杂的 Petri 网结构给出了预测图算法,通过预测图,能够很容易求出静态和动态先行值,在并行模拟中利用先行值可以分析出存在并发和阻塞的结构,从而为网分块在并行机的结点上运行奠定了基础。

转移具有确定性时延的随机Petri网近似算法

本文对含有确定时延的随机Ｐｅｔｒｉ网（ＤＳＰＮ）提出了一种进行解析分析的近似算法．此方法把含确定时延的随机Ｐｅｔｒｉ网转换成为其精度可任意逼近原模型的广义随机Ｐｅｔｒｉ网，使其与连续时间马尔可夫链同构．文中对令牌总线高速局域网构造了其ＤＳＰＮ模型，并用本文提出的方法对此模型进行了分析．文中亦给出了分析和例题，说明此近似算法的可行性．

利用区间着色 Petri 网的 C^3I 系统时延分析

Ｃ３Ｉ系统是一个复杂的分布式离散事件动态系统，适合于用Ｐｅｔｒｉ网来描述其异步，并发行的，而且Ｃ３Ｉ系统是一个时间准则系统，文中提出的区间着色Ｐｅｔｒｉ网非常适合于分析其严格时限，并给出计算时延上（下）界的算法。

军事专家系统的谓词Petri网描述及其时延分析

介绍了一种基于产生式系统的军事专家系统结构，用谓词Ｐｅｔｒｉ网描述了其不精确推理过程和推理网的动态推理过程。给出了一种适合于平行处理的谓词Ｐｃｔｒｉ网模型并对军事专家系统的时延进行了分析。

一种扩展了价格信息的Petri网

提出一种扩展了价格信息的Petri网——价格Petri网,讨论了相应的分析方法和应用前景。主要工作是：为Petri网的变迁引入价格参数,并用价格变迁系统给出价格Petri网的语义；对价格Petri网进行了可达性分析并讨论了最小成本可达问题的可判定性；最后用价格Petri网建立一个业务流程的成本模型。结论是：为Petri网扩展价格信息并应用于业务流程管理领域是可行的。

柔性制造系统时延Petri网模型排产优化研究

为解决现有柔性制造系统排产效率低的问题,提出一种基于时延Petri网模型的柔性制造系统排产优化方法。首先,根据柔性制造系统生产模式的特点,为其建立包含生产路径约束信息的时延Petri网模型。其次,设计遗传算法与模拟退火算法的混合算法,快速搜寻时延Petri网模型最优或次优变迁发生序列,从而得到系统加工优化路径。最后,通过算例仿真与分析,表明该算法具有较高的准确率,且有较强的跳出陷阱能力,证明了其在基于时延Petri网模型的柔性制造系统排产优化方面的有效性。

利用基本信标的时延Petri网的死锁预防策略

针对一类时延Petri网的死锁预防问题,提出了一个有效的控制算法.将基于基本信标的死锁预防方法应用到时延Petri网中,不需要列举全部可达状态,通过只对基本信标添加控制库所和根据需要调整控制深度变量实现死锁预防,而且最后的控制器为活的网系统.首先将时延Petri网拉伸,使得不改变原来系统性能的情况下,拉伸后的网SPN所有变迁均为单位时延,然后针对SPN,采用基本信标控制方法,根据所得标识约束添加控制库所,使基本信标和从属信标均为P-不变式可控,最后还原时延Petri网,得到活的、结构简单的Petri网监督控制器.

基于Uppaal的时延Petri网到时间自动机等价模型验证

时延Petri网和时间自动机都可以有效地对实时系统的行为进行模拟和性能分析。利用时延Petri网到时间自动机等价转换算法(简记作TPNtoTA转换),将一个描述实时系统的时延Petri网模型转换成与其语义等价的一组时间自动机模型。使用时间自动机中成熟的模型验证工具Uppaal对此时延Petri网的模型进行验证。

基于时延Petri网的密码协议分析及性能评估

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入,针对这一现状,该文提出用时延Petri网来表示和分析密码协议。该模型不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估。作为实例,文章对MSR无线协议作了详细的形式分析和性能评估。最后,与其它形式化分析密码协议的方法作了比较。

基于价格时间Petri网的Web服务组合研究

Web服务以及其组合的服务质量是Web服务中的一个重要研究方向。采用价格时间Petri网为Web服务组合建模,利用计价状态类方法对模型的成本进行分析,得到最小成本。最后通过实例验证,用价格时间Petri网对Web服务组合的最小成本问题研究是可行的。

基于时延Petri网的移动电子支付协议模型

时延Petri网是在一般Petri网的基础上,在变迁上引入相应的时间函数,使其具有很强的描述能力与性能分析能力。针对移动电子支付中愈加严重的交易安全问题,通过对电子支付系统和移动电子支付流程的分析,发现移动电子商务SET协议存在漏洞,建立基于时延Petri网移动电子支付协议时延Petri网模型,为安全电子交易过程提供进一步的安全保障。

基于价格随机Petri网的服务协同建模与分析

针对一个企业不仅重视系统性能,也重视系统成本的问题,提出了价格随机Petri网,用于系统的价格和性能分析。价格随机Petri网既具有随机Petri网在性能分析方面的优势,又能计算系统的成本,对系统的建立和改进具有宏观指导作用。基于价格随机Petri网对服务协同典型模型提出了等价化简方法,并进行了相应的证明,此方法在一定程度上提高了系统分析的效率。