混合随机Petri网

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

基于混和Petri网的公路仿真系统模型

公路仿真系统是连续变量动态系统和离散事件动态系统相互作用的混杂系统。通过分析公路仿真系统的混杂特征，在基于Multi—Agent的仿真框架下，提出利用混和Petri网描述系统中离散事件和连续变量相互作用的观点。在传统混和Petri网的基础上，建立了考虑时变特征的推广混和Petri网模型，并建立了基于推广混和Petri网的公路仿真模型体系。将该模型体系应用于驾驶员速度控制过程。应用结果表明，仿真效果良好。     

Petri网的一种硬件实现方法

Petri网是一种信息流模型，广泛应用于离散事件动态系统建模及控制领域．随着CPLD、FP-GA等可编程逻辑器件的出现，为Petri网的硬件实现提供了可能．从Petri网的原理出发，根据库所与变迁的本质特点，提出了一种Petri网硬件实现的框架，并详细阐述了如何用硬件描述语言VHDL实现C／E系统、P／T系统以及T-时延等几种典型的Petri网系统．最后用一个带有时延的P／T系统来验证此种方法的正确性．采用这种方法对离散事件动态系统控制器的设计，以及片上并行控制器、多处理器芯片的设计都具有十分重要的意义．     

基于广义随机Petri网的MVB网络吞吐性能分析

基于Petri网模型的建模分析方法,对多功能车辆总线网络的吞吐性能进行了分析.首先建立了MVB网络的广义随机Petri网(GSPN)模型,并逐步压缩和简化以便于分析.之后在随机离散有穷状态马尔可夫过程理论基础上,对该模型进行分析计算.同时采用了随机Petri网计算机辅助分析软件TimeNET建立模型和仿真.给出了MVB网络单纯过程数据的报文吞吐量,有效数据传输能力和带宽利用率等性能参数.结论指出广义随机Petri网是对网络协议进行分析的有效工具.     

基于Petri网汽车市场需求量预测模型研究

利用Petri网模型良好的离散事件动态表达和并行计算能力以及图形表示的直观性,建立了汽车市场需求预测系统的Petri模型,并对模型的动态、并发问题进行分析,最后应用所建系统模型对汽车市场需求量进行了预测,结果表明该方法具有较好的实用性.     

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

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

多卫星—地面站系统的Petri网模型研究

提出一种新的扩展Petri网模型——时间约束着色Petri网,并对其进行了研究。然后,在对多卫星——地面站系统中的服务类型、资源类型及性能、设备调度规则等进行分析的基础上,建立了多卫星——地面站设备调度的时间约束着色Petri网模型,为整个星地系统的动态性能分析、设备配置方案优化提供了方法途径。     

流体随机Petri网的混杂自动机模型

为了克服数值分析方法在流体随机Petri网模型检验中的缺点,根据形式化方法,本文提出了借助混杂自动机实现流体随机Petri网模型的分析和验证的有效方法,同时介绍了流体随机Petri网到一阶混杂Petri网模型的转化方法.并根据改变不变行为状态事件之间的相互作用提出了正确的一阶混杂Petri网模型行为演变算法,在此基础上给出了流体随机Petri网的混杂自动机模型构造方法.实例分析表明,借助一阶混杂Petri网的行为演变及混杂自动机能够有效地实现流体随机Petri网模型的分析与检验.     

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

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

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

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

DEDS控制理论模型──受控Petri网的网论语义

离散事件动态系统（ＤＥＤＳ）是复杂系统控制理论的一个重要学科分支。受控Ｐｅｔｒｉ网是控制理论界提出的一个ＤＥＤＳ模型。本文分析此模型的网论语义，以便把Ｐｅｔｒｉ网的研究方法和成果引入离散事件动态系统控制理论的研究。     

多级保障系统的广义随机Petri网建模与分析

针对多级保障系统的建模及其优化问题,基于广义随机Petri网建立了三级维修二级库存保障系统的工作流模型. 根据不同等级的维修工作流,提出了广义排队时间的概念,运用扩展的排队模型分析各维修流程的性能等价时间. 为了保证单元的可用度,提出了以最小化缺货次数为目标的优化策略. 采用随机Petri网分析方法对模型进行规约优化,并构造同构的马尔可夫链,求解稳定状态概率分析系统性能,获得一种单元可用度的新计算方法.     

离散事件模型的代数方法及其监控理论

有限状态机（ＦＳＭ）、Ｐｅｔｒｉ网、通信顺序进程（ＣＳＰ）和有限递归进程（ＦＲＰ）都是用来描述离散事件动态系统逻辑行为的，都可以化为一种代数形式。本文首先描述了构造离散事件模型的一般方法，然后讨论了在其上发展的监控理论。     

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

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

舰船火灾危险性评估方法

以火灾成长概率和火灾发生后的过火面积为评价指标,探讨舰艇火灾危险性等级评估方法.运用火灾动力学与统计理论耦舍的火灾风险评估方法,对舰船火灾危险性进行评估.依据火灾动力学和火灾发展过程中不同阶段的特点,将火灾由初期发展蔓延到整个防火分区的过程划分为4个阶段.使用概率Petri网对舰船火灾发生过程进行了建模,并在此基础上,建立了火灾发生过程概率计算的算法.根据不同阶段火灾的特点,求得了各阶段火灾的临界时间,并以此为基础对火灾发生后舰船舱室平均过火面积计算进行了研究.计算结果表明,该方法通过对火灾过火面积的计算判断出火灾的蔓延情况和对火灾控制较弱的设计环节.     

用蒙特卡罗和Petri网方法估计随机流网络的可靠性

提出一种估计随机流网络可靠性的基于蒙特卡罗抽样和Petri网建模仿真的MCPN方法.该算法以蒙特卡罗方法为基本框架,通过蒙特卡罗抽样来模拟网络系统的随机性.对于随机抽取的网络状态,通过Petri网仿真计算相应加权图的最大流量,判断其是否为有效状态.仿真结果表明,Petri网方法是一种有效的计算加权图最大流量的方法.     

基于Petri网的工作流时间建模

针对工作流系统的特点对时延Petri网模型进行扩展,提出了一种新的工作流建模方法.并以某一检查案例为工作流模型,进行了工作流建模和时间性能分析.     

基于带抑制弧时间Petri网的CNC软件模型

提出了一个扩展的时间Petri网———带抑制弧时间Petri网.该网中以抑制弧结合时延变迁来描述实时系统中的中断功能;运用所提出的带抑制弧时间Petri网建立了前后台结构模式的CNC(computernumericalcontrol)软件模型;应用所建立的模型,采用等误差直线逼近法加工一段曲率半径较小的曲线轮廓,对CNC软件中各个任务的时序逻辑进行了分析,并给出了时序分析结果.结果表明,无须对软件进行实际的运行测试,只需要知道CNC软件的时间参数和结构以及控制要求,就可以运用所建立的模型,正确地对该类CNC软件进行时序逻辑分析,评估CNC软件的控制性能.所提出的模型为在CNC软件总体设计阶段就能对其进行时序逻辑分析,为评估CNC软件的控制性能提供了方法和工具.