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

1

作者 赵巍 潘泉 +1 位作者 戴冠中 张洪才 《西北工业大学学报》 EI CAS CSCD 北大核心 2001年第2期304-308,共5页

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

关键词 时间离散随机petri网 稳态概率 指挥控制系统

在线阅读 下载PDF 职称材料

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

2

作者 桂雄明 胡健生 +1 位作者 黄雪梅 魏功辉 《系统仿真学报》 CAS CSCD 北大核心 2008年第8期1953-1956,共4页

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

关键词 时间离散系统 时间离散随机petri网(DTSPN) VHDL 仿真

在线阅读 下载PDF 职称材料

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

3

作者 兰丽 张友鹏 《铁道学报》 EI CAS CSCD 北大核心 2017年第8期85-92,共8页

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

关键词 铁路时间同步网 网络时间协议 随机petri网 脆弱性分析

在线阅读 下载PDF 职称材料

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

4

作者 李静 《湖北农业科学》 2021年第11期125-128,共4页

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

关键词 鲜活农产品 航空冷链物流 随机时间petri网 建模分析

在线阅读 下载PDF 职称材料

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

5

作者 卢光松 葛运建 钱朋安 《中国科学技术大学学报》 CAS CSCD 北大核心 2005年第2期232-239,共8页

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

关键词 工作流 响应时间 随机工作流网 流体随机petri网

在线阅读 下载PDF 职称材料

时间Petri网的随机模拟

6

作者 潘理 杨勃 《计算机科学》 CSCD 北大核心 2016年第11期126-129,159,共5页

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

关键词 时间petri网 随机模拟 实施区间 状态类 实施概率

在线阅读 下载PDF 职称材料

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

7

作者 王琛 黎良 刘斌 《控制理论与应用》 EI CAS CSCD 北大核心 2024年第11期2103-2111,共9页

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

关键词 离散事件系统 资源配置 时间petri网 状态类图 状态估计

在线阅读 下载PDF 职称材料

随机时间Petri网综述 被引量：6

8

作者 卢光松 葛运建 《计算机科学》 CSCD 北大核心 2005年第3期26-30,共5页

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

关键词 随机时间petri网 建模机制 非马尔科夫随机petri网 分析技术 流体随机petri网

在线阅读 下载PDF 职称材料

基于随机时间Petri网的安全性分析方法 被引量：1

9

作者 彭颖 姚淑珍 谭火彬 《计算机科学》 CSCD 北大核心 2016年第11期61-65,76,共6页

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

关键词 随机时间petri网 安全性分析 瞬态分析

在线阅读 下载PDF 职称材料

一种离散时间区间Petri网 被引量：1

10

作者 杨正磊 宋建社 +2 位作者 叶庆 沈涛 王连锋 《计算机集成制造系统》 EI CSCD 北大核心 2012年第2期321-325,共5页

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

关键词 petri网 离散时间区间 合法变迁序列 可达性 建模

在线阅读 下载PDF 职称材料

随机Petri网对可修复系统的建模和分析 被引量：5

11

作者 孙俊清 王鹏涛 于长云 《天津大学学报（自然科学与工程技术版）》 EI CAS CSCD 北大核心 2004年第3期258-263,共6页

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

关键词 随机petri网 可修复系统 MARKOV过程 建模 离散事件动态系统

在线阅读 下载PDF 职称材料

Petri网时间特性分析 被引量：2

12

作者 胡健生 黄金志 +1 位作者 廖贇 祝习兵 《计算机工程与设计》 CSCD 北大核心 2005年第10期2746-2748,共3页

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

关键词 随机petri网 时间特性 离散事件

在线阅读 下载PDF 职称材料

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

13

作者 冯浩源 吕卫民 江式伟 《兵工自动化》 2013年第3期90-93,96,共5页

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

关键词 流程优化 时间petri网 模拟退火算法 离散事件系统

在线阅读 下载PDF 职称材料

基于混合随机Petri网的一类混合系统的模型及稳定性 被引量：3

14

作者 翟长连 吴智铭 《控制理论与应用》 EI CAS CSCD 北大核心 2000年第5期763-766,共4页

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

关键词 混合动态系统 随机petri网 离散事件系统 稳定性

在线阅读 下载PDF 职称材料

非马尔可夫随机Petri网模型的混合状态分析法 被引量：1

15

作者 黄志同 王加存 《自动化学报》 EI CSCD 北大核心 1994年第6期650-657,共8页

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

关键词 随机 petri网 混合状态分析法 离散事件系统

在线阅读 下载PDF 职称材料

基于扩展广义随机Petri网的舰炮维修过程模型 被引量：1

16

作者 刘勇 徐廷学 周洪庆 《舰船科学技术》 北大核心 2013年第8期138-142,共5页

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

关键词 随机petri网 故障 维修时间 仿真

在线阅读 下载PDF 职称材料

一种随机Petri网的模糊同构方法研究

17

作者 陈永 胡晓辉 王晓明 《计算机工程与应用》 CSCD 北大核心 2011年第11期233-235,共3页

随机Petri网(SPN)可以同构于一个连续时间马尔可夫链,但在进行系统性能分析时,其状态空间随着系统规模的增大而呈指数性增长,造成系统无法同构分析,结合模糊数学理论提出一种模糊同构(FIM)方法,该方法可以约简复杂状态空间以便同构分析... 随机Petri网(SPN)可以同构于一个连续时间马尔可夫链,但在进行系统性能分析时,其状态空间随着系统规模的增大而呈指数性增长,造成系统无法同构分析,结合模糊数学理论提出一种模糊同构(FIM)方法,该方法可以约简复杂状态空间以便同构分析,最后应用该方法分析欧洲列车控制系统(ETCS)在移动闭塞区间条件下无线通信的可靠性,以验证该方法的可行性。 展开更多

关键词 随机petri网 连续时间马尔可夫链 模糊同构 仿真

在线阅读 下载PDF 职称材料

一种基于广义随机Petri网的分析器

18

作者 张岚 李人厚 《计算机学报》 EI CSCD 北大核心 1991年第5期361-365,共5页

广义随机Petri网在离散事件系统的性能分析中得到广泛应用.本文介绍了能对含禁止线、K有界的GSPN模型进行稳态分析的自动分析工具,此工具同样适用于SPN模型的稳态分析和PN模型的可达性分析.并给出使用本软件的例子.

关键词 随机模型 petri网 离散事件系统

在线阅读 下载PDF 职称材料

基于随机Petri网的乘积形式解存在判定

19

作者 方贤文 洪永发 《计算机工程与设计》 CSCD 北大核心 2006年第8期1338-1340,共3页

给出了一个判定基于随机Petri网(SPN)的乘积形式解存在的定理。利用该判定定理,可以发现两部件自动组装生产线模型具有乘积形式解,据此可画出该模型的状态空间图,然后根据局部平衡方程,就可得到此模型任意状态的稳定概率。

关键词 随机petri网 乘积形式解 连续时间马尔可夫链 稳定概率

在线阅读 下载PDF 职称材料

基于广义随机Petri网的鱼雷系统级测试性参数确定方法 被引量：1

20

作者 孙亚平 李宗吉 +3 位作者 张宁 孙强 孙玉臣 汤建林 《兵工学报》 EI CAS CSCD 北大核心 2020年第11期2274-2280,共7页

在装备论证阶段,提出科学合理的测试性指标要求,可以有效指导测试性设计。目前鱼雷武器系统还缺乏有效的测试性参数定量分析方法,在综合比较现有各种测试性需求分析模型的基础上,提出了一种基于广义随机Petri网的测试性建模方法。通过... 在装备论证阶段,提出科学合理的测试性指标要求,可以有效指导测试性设计。目前鱼雷武器系统还缺乏有效的测试性参数定量分析方法,在综合比较现有各种测试性需求分析模型的基础上,提出了一种基于广义随机Petri网的测试性建模方法。通过构建鱼雷武器系统基层级维修保障流程的广义随机Petri网模型,得到状态可达图,并利用同构法,求解了测试性参数与可用度之间的关系;以可用度和平均故障修复时间为设计指标,对国外某型鱼雷的测试性参数进行了求解,并利用Petri网建模工具PIPE4.3.0软件进行了仿真分析,验证了模型和算法的有效性。 展开更多

关键词 鱼雷 测试性 可用度 平均故障修复时间 广义随机petri网 PIPE4.3.0

在线阅读 下载PDF 职称材料