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

1

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

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

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

在线阅读 下载PDF 职称材料

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

2

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

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

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

在线阅读 下载PDF 职称材料

混杂电力系统频率紧急控制的Petri网建模与仿真 被引量：14

3

作者 吕书强 秦世引 宋永华 《电力系统自动化》 EI CSCD 北大核心 2001年第6期4-8,共5页

分析了混杂电力系统频率紧急控制问题的典型结构和动态方程 ,然后采用能对连续变量系统和离散事件动态系统建模和分析的有效工具——微分 Petri网 ,建立了混杂电力系统频率紧急控制的 Petri网模型 ,并提出了相应的优化控制策略。在此基... 分析了混杂电力系统频率紧急控制问题的典型结构和动态方程 ,然后采用能对连续变量系统和离散事件动态系统建模和分析的有效工具——微分 Petri网 ,建立了混杂电力系统频率紧急控制的 Petri网模型 ,并提出了相应的优化控制策略。在此基础上 ,对紧急状态下混杂电力系统的频率调控过程进行了仿真计算 ,其结果表明文中所提出的模型与控制方案是有效的。 展开更多

关键词 混杂电力系统 petri网 频率紧急控制 建模 仿真

在线阅读 下载PDF 职称材料

基于UML和Petri网的电力系统恢复模型 被引量：3

4

作者 刘栋 陈允平 +1 位作者 沈广 樊友平 《高电压技术》 EI CAS CSCD 北大核心 2006年第6期90-93,121,共5页

为了描述电力系统恢复过程,提出了基于UML的电力系统恢复过程建模方法,使用类图表示参与电力系统恢复的主要元件的静态特性,使用状态图表示各元件的动态特性。对所建模型进行了仿真和验证,提出了将UML模型转化为赋时Petri网的方法,将UM... 为了描述电力系统恢复过程,提出了基于UML的电力系统恢复过程建模方法,使用类图表示参与电力系统恢复的主要元件的静态特性,使用状态图表示各元件的动态特性。对所建模型进行了仿真和验证,提出了将UML模型转化为赋时Petri网的方法,将UML模型的操作转化为Petri网中的变迁,将UML模型中操作的输入、输出及约束表示为Petri网的库所。以IEEE RTS-96系统验证了所提方法的可行性,该方法易于对电力系统恢复过程进行模型化分析和软件实现。 展开更多

关键词 电力系统恢复 统一建模语言 公用信息模型 赋时petri网 离散事件动态系统

在线阅读 下载PDF 职称材料

基于赋时Petri网描述的多产品间歇过程调度研究 被引量：6

5

作者 古天龙 蔡国永 琶里莎·巴哈里 《控制理论与应用》 EI CAS CSCD 北大核心 2000年第6期933-936,共4页

生产调度是多产品间歇生产过程中的一类重要问题 .赋时Petri网技术是求解此类问题的一种有效方法 .本文给出了复杂中间存储策略下间歇化工过程生产调度的描述方法 ,包括 :无限存储策略UIS、有限存储策略FIS、无中间存储策略NIS和混合存... 生产调度是多产品间歇生产过程中的一类重要问题 .赋时Petri网技术是求解此类问题的一种有效方法 .本文给出了复杂中间存储策略下间歇化工过程生产调度的描述方法 ,包括 :无限存储策略UIS、有限存储策略FIS、无中间存储策略NIS和混合存储策略MIS .同时给出了调度求解的修正分支定界和赋时Petri网执行 (MBBTE)算法 。 展开更多

关键词 离散事件系统 赋时petri网 间歇过程 多产品 调度

在线阅读 下载PDF 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

基于Petri网矩阵模型仿真的改进算法 被引量：2

7

作者 李建军 卫军胡 +1 位作者 赵健鸣 孙国基 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第8期2015-2017,2021,共4页

Petri网的矩阵模型是分析Petri网的可达性、活性、有界性等基本性质以及状态演化过程的一种数学方法。在包含瞬时活动的情况下,传统的矩阵模型方法无法在一个步长内捕获所有应该同时激发的变迁,而是推迟到下一个步长,从而产生不精确的... Petri网的矩阵模型是分析Petri网的可达性、活性、有界性等基本性质以及状态演化过程的一种数学方法。在包含瞬时活动的情况下,传统的矩阵模型方法无法在一个步长内捕获所有应该同时激发的变迁,而是推迟到下一个步长,从而产生不精确的仿真结果。对此提出一种新的定步长仿真算法,得到了完全符合系统真实行为的仿真结果。算法进一步推广到基于事件调度的仿真方法中,可显著提高仿真效率。 展开更多

关键词 离散事件系统 赋时petri网 矩阵模型 事件调度法

在线阅读 下载PDF 职称材料

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

8

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

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

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

在线阅读 下载PDF 职称材料

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

9

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

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

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

在线阅读 下载PDF 职称材料

离散时间Petri网的模糊模型 被引量：2

10

作者 周必水 唐云廷 罗勇 《计算机研究与发展》 EI CSCD 北大核心 2003年第5期657-660,共4页

离散时间Petri网是一种系统模拟和分析的有效工具 ,它可以结合图形和分析描述评估离散事件系统的动态执行 基于TS模糊模型 ,提出用于描述离散时间Petri网的模糊模型 ,讨论该模型适应于TtPNs的情况 ,用以推广文章结论 ,并且给出用于TtPN... 离散时间Petri网是一种系统模拟和分析的有效工具 ,它可以结合图形和分析描述评估离散事件系统的动态执行 基于TS模糊模型 ,提出用于描述离散时间Petri网的模糊模型 ,讨论该模型适应于TtPNs的情况 ,用以推广文章结论 ,并且给出用于TtPNs的线性模糊控制规则 同时 。 展开更多

关键词 离散时间petri TtPNs T-S模糊模型

在线阅读 下载PDF 职称材料

基于随机赋时Petri网的车辆交通系统建模与仿真 被引量：3

11

作者 罗继亮 邹慧莉 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期248-250,共3页

针对普通道口的车辆交通系统,将各道口描述为资源库所,车辆到达(离开)道口的事件描述为发生时间间隔服从泊松分布的赋时变迁,从而建立了该系统的随机赋时Petri网模型,并根据该模型开发了VB仿真系统平台,仿真实验显示该系统能够模拟道路... 针对普通道口的车辆交通系统,将各道口描述为资源库所,车辆到达(离开)道口的事件描述为发生时间间隔服从泊松分布的赋时变迁,从而建立了该系统的随机赋时Petri网模型,并根据该模型开发了VB仿真系统平台,仿真实验显示该系统能够模拟道路口的车流动态过程,可以为交通调度算法提供了实验平台。 展开更多

关键词 随机赋时petri网 交叉路口 车辆交通 仿真

在线阅读 下载PDF 职称材料

T-时延离散Petri网的运行原理及其性质 被引量：4

12

作者 赵义军 吴哲辉 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期47-48,54,共3页

T-时延离散Petri网(TTDPN)常用来描述与时间有关的离散系统,因而研究其运行原理及性质是必要的。首先给出了变迁可激发的定义及激发规则,然后讨论了T-时延离散Petri网的运行原理和可达标识图的构造方法,最后给出了两个性质。

关键词 T-时延离散petri网 预定(非预定)标记 可达标识图 激发频率

在线阅读 下载PDF 职称材料

受控赋时Petri网在批处理系统建模中的应用 被引量：1

13

作者 李慧芳 李人厚 陈浩勋 《西安交通大学学报》 EI CAS CSCD 北大核心 2000年第4期55-59,共5页

将受控赋时Petri网用于批处理生产过程中离散事件系统的建模 ,并通过为动作库所赋予不同的时间参数 ,对化工批处理过程中特有的零等待、有限时间等待的中间存储策略进行建模和分析 .控制库所的引入 ,可消除资源争用冲突 .借助于所建立... 将受控赋时Petri网用于批处理生产过程中离散事件系统的建模 ,并通过为动作库所赋予不同的时间参数 ,对化工批处理过程中特有的零等待、有限时间等待的中间存储策略进行建模和分析 .控制库所的引入 ,可消除资源争用冲突 .借助于所建立的模型 。 展开更多

关键词 批处理过程 离散事件系统 赋时petri网 建模

在线阅读 下载PDF 职称材料

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

14

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

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

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

在线阅读 下载PDF 职称材料

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

15

作者 桂雄明 胡健生 +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网的工作流响应时间计算(英文)

16

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

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

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

在线阅读 下载PDF 职称材料

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

17

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

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

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

在线阅读 下载PDF 职称材料

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

18

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

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

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

在线阅读 下载PDF 职称材料

一种随机Petri网模拟系统时延分析的新方法

19

作者 王加存 黄志同 《控制理论与应用》 EI CAS CSCD 北大核心 1992年第4期329-335,共7页

本文首先引入了时延网和闭网的概念,证明了Petri网N为时延网的充要条件是其闭网为常返网;然后,从时延网模型出发,讨论了变迁发射时间为任意分布的随机离散事件系统时延特性的求取方法,给出了时延密度的计算公式。

关键词 离散事件系统 时延 petri

在线阅读 下载PDF 职称材料

基于Petri网的协同工作流建模与分析

20

作者 周月明 杜玉越 《系统仿真学报》 CAS CSCD 北大核心 2008年第S2期90-93,共4页

为了增强传统Petri网的建模能力,将随机时间与库所关联,提出了SPPN(Stochastic Places Petri Net-随机库所Petri网),并基于SPPN分析了任务间的关系。对网上企业销售系统,采取从单个组织到组织合成的方法,应用SPPN和逻辑Petri网进行建模... 为了增强传统Petri网的建模能力,将随机时间与库所关联,提出了SPPN(Stochastic Places Petri Net-随机库所Petri网),并基于SPPN分析了任务间的关系。对网上企业销售系统,采取从单个组织到组织合成的方法,应用SPPN和逻辑Petri网进行建模,并给出了逻辑工作流网模型的可达图的构造算法,分析了模型的正确性。 展开更多

关键词 协同工作流 随机库所petri网 逻辑petri网 逻辑工作流网

在线阅读 下载PDF 职称材料