基于SPN的LEO卫星网络建模分析

针对LEO(低轨)卫星网络的通信过程建模技术进行了研究,首先建立了LEO卫星网络通信过程的随机Petri网(SPN)模型,然后,在给定参数条件下,通过求解与SPN模型同构的马尔可夫链所对应的线性方程组,得出了性能指标--平均时延、平均吞吐量和LEO卫星节点间带宽利用率的数值大小.所采用的建模与性能评价方法将有助于卫星网络的构建和进一步的性能分析.     

阻塞呼叫控制机理广义随机Petri网建模与分析

基于广义随机Petri网(GSPN),对数字交换机面临过载时的一种阻塞呼叫控制机理进行了描述与分析,建立了其广义随机Petri网模型。通过对模型求解、构造可达图及同构Markov链,推导出了这种控制方式下系统性能的解析结果,给出了它们与控制严密程度之间的关系,从而为定量分析和评价数字交换机过载控制特性提供了依据。     

基于Petri网的人才评价工作流模型

提出了基于Petri网的人才评价工作流管理系统建模的应用研究，介绍工作流、工作流网、工作流建模的一些基本概念，以及用Petri网对工作流进行建模的过程，并结合人才评价系统实例讨论了基于Petri网的工作流模型的有效性和性能分析。     

服务跳变系统性能的随机Petri网评价

运用随机Petri网理论,给出服务跳变系统的性能评价模型,通过求解同构的连续状态马尔可夫链各状态稳定概率,推理影响服务跳变系统的平均时延和吞吐率等主要性能指标,分析了与同步时延、数据迁徙效率的关系,对于研究主动网络对抗应用的服务跳变系统性能具有理论意义.     

一种离散随机Petri网的性能计算和分析方法

为了有效地计算离散事件动态系统Petri网模型的时间性能,用一种离散扩展随机Petri网建立系统的性能模型,采用基于T-组件网的化简技术,结合等效延迟时间和概率分布不变的计算方法,求解和分析Petri模型的时间性能参数.实验结果表明,变迁不仅可以被赋予任意的延迟时间和概率分布,而且计算结果也具有很高的精度,为离散事件动态系统的建模和性能计算与分析提供了一种有效的数值化计算方法.     

基于随机Petri网的冗余备份系统可信赖性研究

可信赖性的度量能客观反映冗余备份系统的可信性,是评价冗余系统服务能力的主要准则.随机Petri网(SPN)对系统的并发性、异步性和不确定性具有很强的动态分析能力,特别适合系统建模和可信赖性分析.讨论了冗余备份系统的概念及其随机Petri网描述,采用SPN对冗余备份系统进行建模和分析,在模型分析的基础上给出冗余备份系统的可靠性、可用性、可生存性、平均故障间隔时间等各种可信赖性重要指标.实例研究表明备份部件所处不同的状态会导致冗余备份系统具有不同的可用性.     

数据网格中存储I/O的SPN建模与性能评价

针对数据网格中存储资源的结构、协议和I/O模式的复杂性问题,分析了存储网络的并行存储I/O请求模型,采用随机Petri网(SPN)建立了SPN并行存储I/O传输的数学模型,描述了系统请求响应时间与系统负载、网络带宽和节点处理能力之间的关系,然后通过排队论进行了并行I/O的性能分析,最后归纳了影响存储网络系统I/O性能的因素,在并行策略和数据组织与分配等方面提出了提高整体存储性能的改进方法.为改进提高数据网格的整体存储I/O性能提供了有效的建模方法和具体的理论依据.     

混合动态系统SPN的稳态性能分析

给出了混合动态系统SPN模型各状态的稳态概率存在解析解的条件,基于稳态概率,可以求出变迁利用率等几个稳态性能指标,从而实现分析该模型稳态性能的目的.同时为解决混合动态系统SPN模型状态空间爆炸的问题,在保持时间性能的前提下对该模型的几种特殊结构进行了简化.     

基于Markov链的产品开发过程模型研究

建立了并行开发过程模型,构造了对应的随机Petri网模型及与之同构的Markov链,基于马尔科夫过程的稳态概率求解了系统的性能参数,分析比较了两系统资源利用合理性及系统的平均延迟时间.     

基于Petri网的MES系统形式化建模

针对一般车间执行制造系统结构复杂性高、重构能力弱、性能分析困难等问题,以水产品加工MES系统为例,通过Petri网对其进行形式化分析与建模.对水产加工的流程进行逐级分解、细化,根据功能将整个系统划分成3个模块,基于Petri网分别对3个模块进行集成建模.最后根据Petri网理论知识,对MES的Petri网模型复杂度与结点特性进行分析和研究,建立一种行业通用的、结构简单易扩展、灵活性强的Petri网模型.     

Evaluation method of software reliability based on SPN model

As a significant measure of software security evaluation, software reliability evaluation is also the basis of software safe operation. Traditional software system security evaluation methods are qualitative evaluation based on the functional and structural measurements, and it often ignores quantitative research based on invalidity and fault. This paper propose a stochastic transition function as a measure parameters of the reliability of stochastic Petri nets (SPN) theory. By calculating the probability of stability of the system, failure and mean time to first failure, it establishes an evaluation and measurement method for software reliability. With example analysis, the method can conduct effective evaluation on the software reliability index quickly and accurately, and meanwhile provides a new method for the software security evaluation.     

基于Petri网的工作流建模及时间性能分析

为求得与实例到达率相关的工作流模型平均完成时间，对Petri网模型进行了扩展，定义了扩展时延Petri网，分析了工作流串联、并联、选择、循环4种基本模型，给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法。应用该方法对工作流4种基本模型的实例进行时间性能评价，并在Exspect环境进行了模拟测试。实验结果表明，在4种模型中最大相对误差在2%左右，从而证明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。     

混合随机Petri网

二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解.     

排队系统的随机Petri网描述与分析

研究了用随机Ｐｅｔｒｉ网描述的基本排队模型，提出了对复杂系统建模的组合方法，并结合通信网中若干实际问题尝试了用随机Ｐｅｔｒｉ网对排队系统建模、分析的一般途径。     

基于广义随机Petri网的贵港生态工业园资源利用率分析

资源利用率是评价生态工业园运行绩效的重要指标,资源高效利用是生态工业园建设的基本要求.本文以广义随机Petri网作为建模工具,以贵港生态工业园作为研究对象,通过构建贵港生态工业园物质循环网络的广义Petri网模型,利用广义随机Petri网模型与马尔科夫链的同构关系,分析了贵港生态工业园关键资源的利用率以及重点加工环节运作效率,指出了贵港生态产业园资源利用过程中有待改善的环节,为贵港生态工业园的优化和改进提供了依据.     

一种新型的混合Petri网:步混合Petri网

Petri网是一种图形的和数学的建模工具,适合于许多系统的建模．为了提高Petri网建模能力引入运行步概念,并在连续Petri网的基础上提出一种新型混合Petri网——步混合Petri网,分析该网特点及其运行规则,并用该网分别对数字型PID控制器和模拟型PID控制器进行建模．     

基于Petri网密码系统的实现

研究了用Petri网对密码系统建模和分析 ,用在系统可编程逻辑器件实现Petri网的方法 ,这种密码系统的设计方法简单、直观 由于Petri能够对复杂系统进行建模和分析 ,因此 ,采用这一方法能够十分容易地构造出复杂的密码系统 ,并确保系统的安全、可靠 文中给出了几种密码系统的Petri网模型 ,并给出了硬件实现的实例     

随机Petri网对可修复系统的建模和分析

为分析工程中较大的可修复系统的工作状态、可靠性和修理工的工作强度，提出了一类由不同机器和具有混合技能的不同维修人员所组成的可修复系统，引进了状态转移是Markov过程的随机Petri网，对系统进行建模，通过实例分析系统的状态空间、各状态在稳态下的期望频率、期望持续时间、系统的可靠性和维修人员的工作强度，分析了随机C／E网和随机P／T的适用范围．与传统的状态空间法相比较，在确定可修复系统的状态空间、分析状态间的逻辑关系和系统的动态过程中，随机Petri网具有显著的有效性和优越性．