时间离散随机Petri网及其在指挥控制系统中的应用

时间离散随机 Petri网在对具有同步行为的系统进行建模时非常有效。指挥控制系统是一个离散事件驱动系统 ,同步是其主要特点之一。针对目前只用时间连续随机 Petri网对指挥控制系统进行分析的特点 ,本文用时间离散随机

基于VHDL的时间离散随机Petri网仿真

时间离散随机Petri网是实时系统建模分析的一种重要工具,广泛应用在异步并发时间离散系统中,对时间离散随机Petri网模型进行模拟仿真分析是一个值得深入研究的课题。给出了一种运用硬件描述语言(VHDL)对时间离散随机Petri网进行描述和仿真的方法。首先介绍了时间离散随机Petri网的定义、特点,然后对其基本元素模块的硬件语言描述方法进行了讨论。最后以一个时间离散随机Petri网模型为例子,用VHDL语言对结构进行了描述,在Altera公司的集成开发工具QuartusⅡ进行编译、仿真,仿真波形表明了这种方法的正确性。

基于随机Petri网的铁路时间同步网协议脆弱性分析

针对铁路时间同步网的时间同步协议脆弱性问题,提出将随机Petri网(SPN)和马尔科夫链相结合进行协议脆弱性分析。剖析铁路时间同步网的结构、协议执行流程,建立铁路时间同步网中时间同步协议在中间人攻击作用下的SPN模型;分析影响协议脆弱性的相关状态,得到协议脆弱性相关状态的实施速率与协议正常结束状态和异常结束状态稳态概率之间的关系曲线;确定影响铁路时间同步网中时间同步协议脆弱性的具体因素。研究结果可为维护铁路时间同步网及制定相应性能指标提供借鉴。

基于随机Petri网的产品任务平均完成时间算法研究

对供应链管理中产品任务平均完成时间的求解策略问题作了讨论,提出了一种利用连续时间随机Petri网实现对产品任务平均完成时间的算法,并通过算例验证了算法的可行性。

鲜活农产品航空冷链物流随机时间Petri网模型构建与分析

航空冷链物流是未来鲜活农产品物流领域重点发展方向。为解决一般鲜活农产品航空物流体系中的时间与效率问题,基于随机时间Petri网对中国某鲜活农产品航空冷链物流流程进行综合评价,为鲜活农产品航空冷链物流流程的优化措施提供了可行性建议,认为可以通过改变该物流体系中的某些业务流程来提高鲜活农产品航空冷链物流的运营效率。

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

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

时间Petri网的随机模拟

模拟是Peri网进行系统分析的常用方法之一。由于时间Petri网采用时间区间来描述变迁实施的时间范围,因此变迁的实施时间点在区间内是不确定的。提出了时间Petri网的随机模拟方法。该方法在变迁开始使能时,根据某种随机分布确定实施区间内的实施时间点;然后基于模拟仿真的实验数据,运用统计分析方法及算法,构造时间Petri网状态类树,计算变迁实施区间及实施概率,为时间Petri网的系统模拟提供了一种新的探索途径。

基于标签时间Petri网最小初始状态的实时系统初始资源配置

针对实时系统完成特定任务序列的最少初始资源配置问题,本文研究了一种基于标签时间Petri网最小初始状态估计的解决方法.首先,对现有的标签Petri网的极小初始标识估计算法进行分析并提出改进方法,以适用于标签时间Petri网的极小初始标识的计算.其次,介绍一种基于路径(即变迁序列)的修正状态类图(MSCG).通过求解由路径MSCG的时间约束构建的线性规划问题,判定与极小初始状态相关的变迁序列是否与给定的时间标签序列一致.在此基础上,求出与时间标签序列相一致的极小初始状态集,并找出极小初始状态集中token总数最少的最小初始状态.最后,利用实例验证了所提方法的可行性和有效性.

基于随机Petri网的潜艇鱼雷武器系统作战反应时间研究

通过对潜艇鱼雷武器系统作战使用流程的研究,分析了影响潜艇鱼雷武器系统作战反应时间的主要因素,采用随机Petri网(SPN)的Molloy形式,构建潜艇鱼雷武器系统作战反应时间模型,评定潜艇鱼雷武器系统作战反应时间指标。

随机时间Petri网综述

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

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

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

一种离散时间区间Petri网

运用Petri网对实际系统进行建模时,事件的发生往往必须在一个时间区间序列内。针对此问题,提出一种离散时间区间Petri网模型。着重对模型的可达性进行了分析,给出模型的合法变迁序列判定算法,并在此基础上提出模型的状态可达性判定算法。通过实例分析,验证了所提的离散时间区间Petri网模型的可行性和有效性,该模型可用于工作流分析、业务过程建模等领域,能够进一步增强Petri网对离散事件系统的模拟与分析能力。

基于随机时间Petri网的通航物流配载网络经济性能分析

随着我国低空空域的不断开放,通用航空物流产业逐步迎来优势发展期,因此对通航物流运营系统的认识与系统研究就显得更加必要与急迫。文章通过使用Petri网理论,对通航物流体系建设中的核心货运配载系统经济效能特点进行研究,建立了一个典型的通航物流配载网络模型的随机时间Petri网,通过自创的'可达序列集表示法'(ASSN)对复杂通航物流配载网络系统的可达状态空间特性及相互关系进行量化建模,最后对通航物流产业的运营特点进行了总结分析。

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

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

Petri网时间特性分析

为了进一步研究随机Petri网的时间特性,引入了时间Petri网、闭网、常返网、有环网、无环网等概念,证明了随机Petri网是时间特性网的充要条件是其闭网为常返网,并给出了判别一个网是否是时间特性网的数值方法。同时讨论了变迁发射时间特性,给出了发射时间密度公式。

基于混合随机Petri网的一类混合系统的模型及稳定性

混合动态系统是包含离散事件系统 (DES)和连续变量系统 (CVS)的复杂系统 .讨论了一类每个离散状态包含一个连续动态系统 ,且离散事件具有Markov链性质的随机混合系统 ,在提出利用混合随机Petri网的建模方法的基础上 ,给出混合均方稳定的概念、稳定性和可镇定条件 。

基于时间Petri网和模拟退火算法的单机机务准备流程优化

针对现有机务准备流程的优化方法不能满足要求的问题,提出一种时间Petri网模型及其建模方法。按照子流程分步构建子网模型,使用优先级表达调度策略,采用模拟退火算法计算最优调度策略,并运用此模型完成了某型飞机单机机务准备流程优化,以子流程分步建模的方法降低了模型描述的复杂性,采用等价结构压缩技术降低了人与计算机的工作强度。建模过程显示了使用优先级表达调度策略的合理性,仿真计算结果验证了模拟退火算法在调度策略优化中的有效性,得到了某型飞机单机机务准备流程优化问题的全局最优解。

非马尔可夫随机Petri网模型的混合状态分析法

讨论具有发射时间任意分布之变迁的随机Ｐｅｔｒｉ网的解析问题．定义了随机Ｐｅｔｒｉ网的混合状态和混合状态密度。提出混合状态分析法，并给出具有一步转移关系标识下的混合状态密度的递推公式．使非马尔可夫型随机Ｐｅｔｒｉ网的分析成为可能．通过算例说明了混合状态分析法在系统性能评估中的应用．

基于扩展广义随机Petri网的舰炮维修过程模型

在舰炮研制过程中,可运用仿真的方法估算其修复性维修时间。为使仿真模型与舰炮修复性维修过程更加吻合,对广义随机Petri网进行了扩展,将其延时变迁与任意分布关联,并对基于时间变迁的维修作业及维修作业之间的关系进行描述;充分考虑故障定位时间对舰炮修复性维修时间的影响,阐述其最优寻找路径以及基于蒙特卡罗方法的维修时间计算模型。最后,以舰员级维修条件下对舰炮发射系统不击发故障的分析与排除为例,建立基于扩展广义随机Petri网的维修过程模型,仿真计算其维修时间与方差,验证了模型的有效性。

时间Petri网在现场通信系统中的分析方法

鉴于时间Petri网易于描述系统并发、冲突等现象的优点 ,本文首先介绍了几种时间Petri网 ,并采用了其中的时延Petri网和随机Petri网 ,在理论上分别建模和分析了同一通信协议。然后 ,将理论上得出的这两种协议描述分析方法 ,分别应用在一实际温控系统的现场通信协议中。通过比较、验证系统的性能指标 ,说明了这两种方法的应用性和针对性。