启发式搜索在时间Petri网的共享资源调度中的应用

离散事件系统的调度规划问题是计算机科学的重要研究方向。本文介绍了如何在实际中将启发式算法同时提高搜索效率的方法。这在计算机和通信领域的资源调度问题方面有着较大的实用价值。     

一种基于广义随机Petri网的分析器

广义随机Petri网在离散事件系统的性能分析中得到广泛应用.本文介绍了能对含禁止线、K有界的GSPN模型进行稳态分析的自动分析工具,此工具同样适用于SPN模型的稳态分析和PN模型的可达性分析.并给出使用本软件的例子.     

随机时间Petri网综述

随机时间Petri网作为一种灵活有力的建模机制,被广泛应用于计算机和通信系统的性能与可靠性评价。综述了随机时间Petri网各主要予类的发展历程与研究现状。首先介绍了随机时间Petrl网的一些基本概念,然后回顾了广义随机Petri网,简要总结了处理状态空间爆炸问题的主要途径,讨论了非马尔科夫随机Petri网及其分析技术,最后详细分析了流体随机Petri网。     

流体随机Petri网与混合Petri网的比较分析

流体随机Petri网和混合Petri网作为传统Petri网的拓展,可以建模离散成分和连续成分并存的混合系统,也可用于解决离散模型的状态空间爆炸问题.由于这两种建模机制远未发展成熟,分析比较它们的异同点有助于机制本身的进一步发展完善,有助于为特定的应用选择合适的建模方法.本文讨论了流体随机Petri网和混合Petri网的定义、连续标识、分析方法、以及相互转换的可能性.结论是这两种建模机制是互补的,各自适合于特定的应用场合.     

模糊时间Petri网及扩展的模糊时间Petri网

网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求。模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时间间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间Petri网,它是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性。本文详细地介绍了模糊时间Petri网及可扩展的时间Petri网,可扩展的时间Petri网的网精简方法,使用design／CPN仿真,及使用EFTN对多媒体同步建模,并探讨了进一步研究的方向。     

模糊时间Petri网及其时间推理方法

Petri网是一种用网状图形表示系统模型的方法,它能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依赖(顺序)和不依赖(并发)关系。但传统的Petri网理论其不足之处在于:它的分析方法主要是可达树分析法和线性代数描述法。可达树分析法是针对某一个初始标识的,一个新的初始标识就意味着需要重新构造可达状态图;当系统存在较多     

基于修正状态类图的标签时间Petri网系统故障诊断

针对具有不可观事件的离散事件系统的故障问题,提出了一种基于标签时间Petri网的诊断方法。首先,对标签时间Petri网系统现有的修正状态类图(modified state class graph, MSCG)进行分析,提出MSCG的改进算法。其次,对于给定的可观标签序列和观测时间,通过求解由改进的MSCG的路径信息构建的线性规划问题,获得所有与可观标签序列时间一致的有效路径,从而分析系统的故障情况。最后,以交替位协议为实例分析验证了所提方法的有效性,为复杂的实时系统故障诊断问题提供有效方案。     

基于随机时间Petri网的安全性分析方法

在分析了现有的Petri网与安全性结合的方法的缺陷后,提出了一种基于随机时间Petri网(stochastic Time Petri Nets,sTPN)的系统安全性分析方法,利用sTPN建立的系统模型不局限于指数分布和确定分布的变迁,也不局限于一般分布的变迁的使能限制。通过修改后的瞬态随机状态类图以及sTPN的瞬态分析算法可以得到基于路径的安全性指标。最后给出核反应堆冷却循环系统的例子,说明了所提方法的可用性和合理性。     

基于时间Petri网的事件关联检测机制研究

网络事件的关联检测是网络管理急需解决的一个关键问题,基于Petri网的事件关联检测机制,提出基于时间Petri网的事件关联检测机制,该机制充分考虑了事件关联时间窗口的起始和大小,有效地提高了事件关联检测的准确率。     

一类受控Petri网的反馈控制综合方法

讨论受控Ｐｅｔｒｉ网的一类禁止状态避免问题，该类禁止状态用广义互 约束的形式给出。     

Petri网格构建探讨

介绍了Petri网的基本定义和对并发系统的描述.指出网格是完全异步并发的基础环境。分析了Web服务和网格资源是构造Petri网格的变化元素和状态元素,进而基于Web services标准和WSRF规范构造了Petri网格体系结构的层次模型,指出Petri网格应用就是构造Petri网模型实例。     

流体随机Petri网的一阶混杂Petri网模型

为了借用一阶混杂Petri网(First-Order Hybrid Petri Nets)的建模原语和分析方法来分析流体随机Petri网(Fluid Stochastic Petri Nets)以克服流体随机Petri网数值分析方法的局限性,本文提出了一种流体随机Petri网转换成一阶混杂Petri网的形式化描述方法,并对其转换的正确性进行了证明,最后通过实例分析了流体随机Petri网转换成一阶混杂Petri网的必要性.     

An optimal maintenance policy based on generalized stochastic Petri nets and periodic inspection

Periodic maintenance of equipment is essential for its optimum performance, thereby enabling production efficiency. In the past, studies on preventive maintenance of automated manufacturing systems (AMS) determined the optimal preventive maintenance policy under different performance indexes. Generally, most hypotheses indicate that equipment reliability can be restored to 1.0 through preventive and corrective maintenance. However, in practical application, the implementation of preventive maintenance results in partial deterioration of equipment; moreover, the reliability of equipment cannot be restored to as‐good‐as‐new. In addition, the greater the complexity of connections of the equipment, the greater is the difficulty in determining the timing for preventive maintenance. On account of these characteristics, generalized stochastic Petri nets (GSPN) are well‐suited for the implementation of preventive maintenance. Therefore, this paper applies GSPN for deciding the optimal maintenance policy and constructing models for different levels of maintenance and renewal for an AMS with a serial‐parallel layout. As a result of the application of GSPN, the following optimal maintenance policy for an AMS was obtained in this study: Preventive maintenance conducted at intervals of every 240 hours will reduce cost by 46% as opposed to the practice of replacing defective parts when necessary. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

基于Petri网的电子支付安全模型研究

Petri网兼顾了严格定义与图形语言两个方面,具有丰富而严格的模型语义,也是一种图形化的语言,具有直观与易懂的特点。电子支付是客户使用电子账户通过网络实施的支付。针对电子支付过程中的安全风险,给出了电子支付可以实施的安全措施。利用Petri网描述安全电子支付流程,采用一种基于逻辑的Petri网分析方法,探索建立了基于Petri网的电子支付安全模型。该模型对于指导电子支付安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义。对电子支付建立Petri网安全模型的另一个目的,就是为信息安全研究提供新的方法与思路。     

随机进程代数与随机Petri网

针对随机进程代数(stochastic process algebra,简称SPA)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了SPA和随机Petri网(stochastic Petri nets,简称SPN)之间的异同点,并讨论了SPA转化为相应SPN的语义和将SPA的研究成果应用于SPN的方法.最后对SPA进一步研究工作的方向作了展望.     

基于Gillespie算法的生化随机Petri网演化分析

Petri网既有严格的数学表达方式,又有直观的图形描述形式,是当前生物化学系统模拟和定性分析的一个有力工具。作为标准Petri网的一个重要扩展,随机Petri网使得可以定量地分析生物化学系统。建立了两个典型的生物化学系统的随机Petri网模型：Schlogl系统和转录调控系统,并使用Gillespie随机仿真算法模拟了这些生化随机Petri网模型的状态演化。     

生化网络的随机Petri网建模与分析

细胞的行为是随机性的,学习细胞中的随机性有助于理解细胞的组织,设计和进化。建立、确认和分析随机的生化网络模型是当前计算系统生物学领域的一个重要研究主题。当前,标准的Petri网模型已经成为生化网络模拟和定性分析的有力工具。尝试使用随机Petri网对生化网络进行建模与分析,简单描述了随机Petri网理论对标准Petri网的扩充,通过对二聚作用和肌动蛋白这两个典型例子的建模与演化模拟,介绍、论证了随机Petri网理论的新应用。     

非确定Petri网

根据描述工作流模型的实际应用背景，提出了非确定变迁，非确定Petri网等概念，并定义了Petri网的等价关系，证明了在这种等价关系的意义下，非确定Petri网与传统的确定Perti网的等价性。     

基于CPN战时装备保障业务流程建模

针对战时装备保障业务流程的特点,分析了基于着色petri网(CPN)的建模方法与其它业务流程建模方法相比具有的优势,建立了战时装备保障业务流程的顶层结构模型,并对模型进一步细化,分别建立了战时装备保障指挥机构的业务流程子网模型和各保障机构的业务流程子网模型,根据现代战争对信息传输的要求对模型进行了优化。利用CPN-TOOLS工具,组织两组实验对模型进行仿真分析,通过分析装备保障业务流程的主要性能指标,指导战时装备保障工作。