基于随机高级Petri网的ATM网络接纳控制过程模型

本文提出了一个ＡＴＭ网络的接纳控制过程模型，此模型是基于随机高级Ｐｅｔｒｉ网的层次模型方法。在复杂的ＡＴＭ网络的接纳控制过程模型中，使用了从顶向下的模型方法。在模型的性能分析中，则采用了从底向上的分解、压缩的方法。这种方法简化了复杂系统模型的状态空间爆炸问题。     

随机Petri网在软件可靠性分析中的应用

软件可靠性模型对于软件可靠性估测起着核心的作用。目前所提出的模型大多有着一定的应用条件和适用范围,不能适应复杂多变的应用环境的要求,在客观上为软件可靠性模型的应用提出了新的问题。提出了一种基于随机Petri网的软件可靠性分析方法,该方法有利于降低可靠性描述与分析的复杂度,提高评价和预测可靠性的精确度。同时指出该方法在应用中会遇到的某些问题及其解决方法。     

基于随机高级Petri 网的主动自调度集群系统的性能分析

首先在体系结构上对主动自调度集群系统(ASACS)与传统Web集群服务器系统进行了比较;然后提出了主动自调度集群系统的随机高级Petri网(SHLPN)模型,并设计了模型的精化方案;接着为传统Web服务器集群系统中2种负载均衡调度策略和ASACS的主动自调度策略进行了建模;最后利用SPNP工具对服务器集群系统中的3种调度策略在吞吐量、响应时间及拒绝概率等性能上作了数值分析,发现采用主动自调度策略实现的集群系统能更好地满足QoS的要求。     

随机Petri网同步并发行为的定量分析方法

传统的随机Ｐｅｔｒｉ网定量分析都是针对顺序行为的，而并发描述却是Ｐｅｔｒｉ网引以为骄傲的内容，这就形成Ｐｅｔｒｉ擅长描述并发，却没有在并发活动下分析系统的手段。本文研究同步并发机制下随机Ｐｅｔｒｉ网定量分析法，旨在改进传统的分析方法，使Ｐｅｔｒｉ网真正成为并发系统建模与分析的有力工具。     

基于随机Petri网测试的序列生成系统

提出用随机Petri网（SPN）模型对实时系统建模并产生测试序列的方法,该模型方便描述系统的并发、异步等行为,避免基于扩展有限状态机（FSM）或扩展有限状态机（EFSM）模型分析的不足,并可对系统模型进行性能分析.通过具体例子说明了其在实时软件中的应用.     

随机高级Petri网用于计算机网络传输协议的模型与性能评价

本文讨论了具有标记变量的随机高级Ｐｅｔｒｉ网（ＳＨＬＰＮ）以及标识类型，标记变量和等价标记变量的概念，给出了具有等价标记变量可达树构造算法，并证明了等价标记变量可达集与合并状态的马尔可夫链状态空间之间的同构。本文着重描述了ＳＨＬＰＮ在计算机网络传输协议的模型与性能评价中扩，通过这个例子充分显示了这些概念和算法的有效性。     

一种随机Petri网性能等价化简与分析方法

随机Petri网模型是系统性能评价的有力工具,但其状态空间随模型规模的增长而指数性增长的问题限制了其对复杂和大规模系统模型的性能数量分析能力.因此,在对模型进行分析之前,先对其进行适当的性能等价化简,是一种更为可行的分析方法.本文首先讨论了一类随机Petri网-基本随机Petri网(ESPN)的性能等价分析方法,这类随机Petri网由顺序、并行、选择和循环等四种基本结构及其组合构成.作者推导出这四种基本结构的性能等价公式,并运用自底向上逐步综合替代的分层分析方法,给出这类随机Petri网模型的性能等价化简分析方法,该方法的复杂性随模型增长而线性增长,有效解决了其性能数量分析问题.然后,讨论了两种非基本结构到基本结构的转换规则,使得复杂的随机Petri网模型也可能转换为ESPN模型,从而使性能等价算法可应用于一般随机Petri网.     

随机Petri网性能计算软件体系结构研究

以建立随机Petri网性能计算软件的软件体系结构为目的,采用面向对象的系统分析与设计方法,在对性能计算软件需求分析的基础上,设计了系统的总体结构,进而实现了系统各个模块的功能。提出由三个主要构件组成的性能计算软件体系结构：人机交互模块,主控模块,性能计算核心模块。做出该软件体系结构适用于基于基本建模理论性能计算软件的结论。     

MapReduce的随机Petri网模型研究

首次提出用随机Petri网为MapReduce逻辑模型建立Petri网模型的思想,目的在于采用随机Petri网工作流性质对其进行分析。因此,在研究MapReduce逻辑模型的基础上,为其建立了随机Petri网模型。该随机Petri网模型符合随机Petri网工作流系统的性质,本文利用随机Petri网的工作流系统的性能等价公式,分析了模型的性能,最终求出整个系统的性能参数。该性能参数能够很好地说明MapReduce处理大数据集的优势。     

Petri网在系统可靠性分析中的应用

简单介绍了各种Petri网模型的定义和性质，对Petri网模型在系统可靠性分析中的基本行为描述、故障树表示与简化、故障诊断、可靠性指标的解析计算以及可靠性仿真分析等方面进行了较全面的评述，对进一步的研究方向进行了展望。     

物元分析方法在通信网可靠性评价中的应用

本文主要研究物元分析方法在通信网可靠性评价中的应用，首先应用物元变换方法对通信网可靠性评价的研究思路进行了转换，提出了分析可靠性增长与通信网发展的相关适应性的物元评价方法。这种方法的应用在实际中显示出较好的效果。     

随机Petri网模型中变迁的串、并联性能等价化简技术

随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一.在随机Petri网模型中,变迁的串、并联是Petri网模型的主要基本形式,对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题,而且也为其他随机Petri网的化简技术提供一个坚实的基础.另外在诸如工作流、多媒体等重要的随机Petri网模型中也存在大量的变迁的串、并联结构,所以对随机Petri网模型变迁的串、并联的化简,特别是能够推导出它的性能等价的数学公式就显得很有必要.本文详细阐述了随机Petri网变迁的串并联的模型化简技术,推导出了变迁的串、并联化简的性能等价公式,并给出一个化简的例子,最后对结果的相关问题进行了分析.     

基于Petri网的安全协议形式化分析

本文提出了一种基于Petri网的安全协议形式化描述和安全性验证的方法.该方法的特点是,利用逆向状态分析判定协议运行过程中可能出现的不安全状态,利用Petri网的状态可达性分析判断这些不安全状态是否可达.通过实例,我们证明了这种方法的有效性.     

A Case Study for the Application of Deterministic and Stochastic Petri Nets in the SoC Communication Domain

This paper presents an approach utilizing deterministic and stochastic Petri nets (DSPN) to analyze on-chip communication. In order to demonstrate the suitability of this approach, the on-chip communication structure of two examples featuring typical system-on-chip (SoC) communication conflicts like competition for common communication resources have been studied. A state-of-the-art heterogeneous digital signal processor (DSP) and a design example with an on-chip bus have been examined. The results show that sufficient modeling accuracy can be achieved with low modeling effort in terms of computation and implementation time. Holger Blume received his Dipl.-Ing. degree in electrical engineering from the University of Dortmund, Germany in 1992. From 1993 to 1998 he worked as a research assistant with the Working group on Circuits and Systems for Information Processing of Prof. Dr. H. Schrŝder in Dortmund. There he finished his PhD on Nonlinear fault tolerant interpolation of intermediate images in 1997. In 1998 he joined the Chair of Electrical Engineering and Computer Systems of Prof. Dr. T. G. Noll at the University of Technology RWTH Aachen as a senior engineer. His main research interests are in the field of heterogeneous reconfigurable Systems on Chip for multimedia applications. Dr. Blume is chairman of the German chapter of the IEEE Solid State Circuits Society. Thorsten von Sydow received the Dipl.-Ing. degree from the University of Technology RWTH Aachen, Germany, in 2002. Since then he is working as a research assistant at the Chair of Electrical Engineering and Computer Systems (Prof. T. G. Noll), University of Technology RWTH Aachen. His current research interests include Design Space Exploration for on-Chip interconnects and fine grain arithmetic oriented eFPGA architectures. Tobias G. Noll received the Ing. (grad.) degree in Electrical Engineering from the Fachhochschule Koblenz, Germany in 1974, the Dipl-Ing. degree in Electrical Engineering from the Technical University of Munich in 1982, and the Dr.-Ing. degree from the Ruhr-University of Bochum in 1989. From 1974 to 1976, he was with the Max-Planck-Institute of Radio Astronomy, Bonn, Germany, beeing active in the development of microwave waveguide and antenna components. Since 1976 he was with the Corporate Research and Development Department of Siemens and since 1987 he headed a group of laboratories concerned with the design of algorithm specific integrated CMOS circuits for high-throughput digital signal processing. In 1992, he joined the Electrical Engineering Faculty of the University of Technology RWTH Aachen, Germany, where he is a Professor, holding the chair of Electrical Engineering and Computer Systems. In addition to teaching, he is involved in research activities on VLSI architectural strategies for high-throughput digital signal processing, circuits concepts, and design methodologies with a focus on low power CMOS and deep submicron issues, as well as on digital signal processing for medicine electronics.     

使用Petri网检测主动数据库中的复合事件

由于近年提出的一些描述事件定义的语言，主动数据库系统中事件的检测成一难题，尤其是复合事件的检测。因此，需要一个合适的、能模拟复合事件语义并且能实现事件检测器功能的机制。本文将描述如何用Petri网在主动数据库系统中实现这样一个机制，实验证明S-PN不仅合适于各种复合事件的模拟，而且执行也方便。     

随机Petri网非乘积解系统的判定与界限求解

本文基于随机Petri网(SPN)提出了一种利用站平衡来判断非乘积解系统模型的方法,发现了可能导致站不平衡的三种Petri网结构,对这三种结构进行了分析,得出了产生非乘积解的系统原因,并给出了一种利用乘积解求解非乘积解系统模型性能界限的方法,这种方法可广泛应用于多种实际系统的性能界限求解.