混合随机Petri网

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

基于随机时间Petri网的第三方物流业务流程建模与分析

以流程为核心对供应链进行再造是优化供应链的重要措施．而对流程进行量化的分析评价是近年来流程再造研究的热点．Petri网以其兼备图形化的描述方式和严格的数学定义的特点而成为目前流行的业务流程建模工具．给出随机时间Petri网的定义及其性能评价方法之后,对第三方物流业务流程进行建模和分析。     

基于Petri网的机动车保险业务流程优化分析

机动车保险申请赔偿流程是保险理赔工作流程的一个重要组成部分,为了优化申请机动车保险赔偿流程和识别一些骗保异常行为,分析了基于Petri网的机动车保险业务流程优化.给出机动车保险申请赔付基本流程的Petri网模型,通过流程模型中库所和变迁之间的关系,以实际情况分析该过程可能存在的问题;通过增加一些验证控制结构对模型进行优...     

一阶流体随机Petri网:定义与分析

重新定义了一阶流体随机Petri网,其中,流体跳跃弧的跳跃高度取确定值,并被赋予在瞬间内清空与之相联接的连续库所的功能.给出了随机标识过程的动态方程,讨论了连续弧的流体流动速度为连续标识的函数而导致的概率值累积问题,使得直接用数值方法对模型的动态方程进行求解成为可能.     

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

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

基于流体随机Petri网的工作流响应时间计算

提出了一个基于流体随机Petri网的工作流响应时间评价方法，该方法的主要优点是工作流任务的处理时间可取任意的概率分布，因此与已有的方法相比具有更高的准确性．以工作流的随机工作流网模型为起点，首先讨论了利用随机工作流网建模需解决的诸如时间变迁冲突等相关问题，举例说明了如何将随机工作流网模型转化为流体随机Petri网模型，最后给出了该种流体随机Petri网模型的稳态方程，说明工作流的平均响应时间可由对流体随机Petri网模型稳态方程的求解得到．另外指出了目前应用该方法存在的困难及将来可能的研究方向．     

基于面向对象Petri网的配送业务流程建模

要建立满足企业需求的快速、高效的流程,对流程进行建模、仿真、分析优化是一种比较科学且经济的方法。现有的研究工作,主要有IDEF系列、ECAA（事件-条件-动作规则）、Petri网等建模方法。其中,Petri网以其独特的优势而成为当今比较流行的建模方法,它既有严格的数学定义,又具有图形表示方法,可用于复杂系统建模。在介绍基本Petri网的概念后,又给出了面向对象Petri网的定义,分析了它的特点,并以面向对象Petri网作为工具,建立了配送业务流程模型,旨在以模型为基础进行流程性能分析．为流程优化提供分析手段。     

基于随机Petri网的资源竞争分析

文章以随机Petri网理论为基础,构建了在分布式控制系统中资源竞争环境下的排队网络模型,并通过一个应用实例对模型进行了定量分析;利用该模型对分布式系统设计进行了探讨,其估计算法可以较为全面的分析系统的性能,并能得到更为直观的综合信息。     

基于随机着色Petri网的RUDP协议建模与分析

鉴于运输层传输协议TCP的低效率和UDP的不可靠性,文章提出了一种新型的多帧无线传输RUDP协议,同时引入了广义随机着色Petri网(GSCPN),并利用GSCPN对本RUDP进行了建模和分析,为以后更好地研究RUDP协议提供了模型参考.     

随机状态机Petri网性能分析的矩母函数方法

提出了对随机Ｐｅｔｒｉ网的一个子网—随机状态机Ｐｅｔｒｉ网进行性能分析的矩母函数解析计算方法，并通过例子说明了该方法的计算过程。对特定的系统应用该方法时，首先将其表示成状态机Ｐｅｔｒｉ网模型，计算出传递函数，然后求出系统的性能测度。该方法克服了马尔可夫链对时间延迟必须是负指数分布的限制，从而使其具有更广泛的适用性。     

基于随机Petri网的通信线路抢占式服务分析

随机Petri网是一种图形化的数学建模工具。对基于随机Petri网的具有抢占式服务策略的通信线路进行了分析。为了实现高优先级用户对低优先级用户服务中断的模拟，采用了基于变迁的抑制弧。推导了瞬时概率的表达式。最后，针对2个不同用户的实例，给出了M／G／1／2／2排队模型的分析结果。     

基于 Petri 网的单件离散型制造业务流程优化

以 HY 制造企业的生产计划编制业务流程为研究对象,利用 Petri 网的建模技术构建该公司生产计划编制业务流程模型,然后采用 ESIA 流程优化方法与 MRP 方法相结合的方式对其流程进行优化与建议,最后利用 Petri 网的数学特性计算模型的性能等价时间,证明了其优化后的模型的时间优越性.     

基于随机Petri网的煤仓储运系统可靠性分析

由于影响煤仓储运系统的故障因素多带有并发性、异步性及随机性的特点,所以定性和定量分析煤仓储运系统的可靠性较为复杂.该文利用随机Petri网构建了煤仓储运系统的模型.该模型直观地反映了煤仓储运系统的实际组成及其运行状态,讨论了可修复条件下系统的状态及其转换关系,揭示了煤仓储运系统可靠性的构成并对其可靠性问题进行深入地分析,从而得出系统可靠度的表达式.最后,结合具体煤仓实例分析了模型及其算法的可行性,得出了改善实际煤仓储运系统的相关建议.结果表明,此方法为分析煤仓储运系统可靠性提供新的途径.     

基于随机Petri网的弹药销毁系统可靠性分析

随着各国的军事实力越来越强,军事工业也越来越发达,不可避免地将出现废弃或者多余的弹药需要销毁,因此弹药销毁系统越来越受到关注。本文采用基于随机petri网的建模方式,对采用爆炸法的弹药销毁系统的前期流程和实施过程分别进行了建模,并进行了基于petri网的转化,最后进行系统的可靠性分析和计算。通过计算验证了该可靠性分析方法的可行性及有效性。     

基于随机Petri网的流通加工系统建模研究

流通加工系统是一个动态离散系统,影响该系统的因素多具有并发性、异步性及随机性的特点,所以定性和定量分析流通加工系统较为复杂.以三华农副产品加工基地农副产品的一次流通加工为研究背景,利用随机Petri网构建了反映该企业流通加工系统的实际组成及运行状态的随机Petri网模型,并对该模型进行了定性分析和定量分析.其中,定性分析是根据连续时间的随机Petri网同构于连续时间马尔科夫链的特点对模型的活性、可达性、有界性等进行了分析;定量分析是利用带有模糊参数的随机Petri网求解出库所繁忙的概率、系统变迁的利用率、系统平均延时时间及流入系统的标记流速.根据所得数据分析可知:应进一步优化加工环节,流入系统的标记流速还应加快.     

随机Petri网工作流模型的等价性能分析

建立系统Petrl网工作流模型,给出了顺序、并行、选择、循环四种基本结构的等价化简公式。将原模型转化为随机Petri网工作流模型,并应用这一性能等价方法,逐步化简,最终得到系统的平均执行时间和与性能分析相关的有效定量参数。     

基于随机Petri网的容灾系统安全性分析

该文采用基于状态的随机模型对容灾系统进行安全性分析。通过构建一个通用的远程容灾系统模型,使用随机回报网SRN描述了整个系统模型的备份与恢复过程,包括SRN模型中的各个位置、变迁的含义,对该系统模型进行建模。使用随机Petri网软件包SPNP对所建立模型进行仿真,通过对不同概率参数的设定得出系统可用性的量化值。仿真实验结果表明:不同的参数变化对系统可用性的影响不同,在本地备份中失效检测对于系统可用性的影响最大,远程备份中的失效检测对于系统可用性的影响最小。     

基于随机Petri网的通信线路抢占式服务分析

随机Petri网是一种图形化的数学建模工具.对基于随机Petri网的具有抢占式服务策略的通信线 路进行了分析.为了实现高优先级用户对低优先级用户服务中断的模拟,采用了基于变迁的抑制弧.推导 了瞬时概率的表达式.最后,针对2个不同用户的实例,给出了M/G/1/2/2排队模型的分析结果.     

基于随机Petri网的系统性能评价

性能评价是计算机网络和计算机系统研究与应用的重要理论和支撑技术。综述了作者在基于随机 Petri网(SPN)的系统性能评价方面的研究工作 ,内容包括多服务器多队列网络、 SPN非乘积解系统的判定与界限求解、非乘积解系统模型的分解和近似求解、网络系统自相似业务到达、SPN模型的精化设计、含有非 Markov过程的排队 Petri网、基于 SPN的工作流系统、基于 SPN模型的缓冲优先调度策略、扩展时段时序逻辑的推理机制等方面。今后应加强对非Markov模型、综合模型及分解压缩技术等的研究     

基于Petri网的病毒攻击建模

针对威胁计算机网络安全的病毒攻击行为,建立了基于Petri网的病毒入侵网络基本模型,利用CPN tools仿真工具分析了模型的活性和各个库所的有界性,以利于采取有效的网络防御措施和建立安全的防御体系.利用安全策略域、域间通信信道的概念,根据病毒入侵传播的特性,建立了基于随机着色Petri网的企业网络模型,并给出了用该模型模拟与安全相关网络行为的方法.