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

1

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

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

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

在线阅读 下载PDF 职称材料

无界时延混合Petri网(UTHPN)的可覆盖性演变图及性质 被引量：1

2

作者 赵义军 王培良 《系统仿真学报》 CAS CSCD 2003年第z1期53-55,共3页

时延混合Petri网(THPN)是由David最早提出的一类混合Petri网模型,而构造时延混合Petri网的演变图是对其性质进行分析的有效方法. 赵义军等在文[1]中给出了有界时延混合Petri网的演变图构造方法及性质分析,但对无界的时延混合Petri网,其... 时延混合Petri网(THPN)是由David最早提出的一类混合Petri网模型,而构造时延混合Petri网的演变图是对其性质进行分析的有效方法. 赵义军等在文[1]中给出了有界时延混合Petri网的演变图构造方法及性质分析,但对无界的时延混合Petri网,其演变图却不能用同样的方法构造出来.在本文中,通过引入无界量符号w,给出了UTHPN的可覆盖性演变图的构造方法,并在此基础上讨论了UTHPN的有关性质. 展开更多

关键词 无界时延混合petri网 不变行为状态 可覆盖性演变图 动态性质

在线阅读 下载PDF 职称材料

扩展模糊时延Petri网下的协同虚拟环境要素建模

3

作者 吴明晖 余春艳 +1 位作者 吴海虹 潘云鹤 《中国机械工程》 EI CAS CSCD 北大核心 2005年第5期414-419,共6页

　　提出一种基于角色理论的协同虚拟环境要素模型———RACVE。该模型分为两个部分:着重描述协同要素之间的静态关系的 RACVE 基准要素模型,两个与时间相关的概念———智能主体运行态和Collaborative Federation;以基准要素模型为扩... 　　提出一种基于角色理论的协同虚拟环境要素模型———RACVE。该模型分为两个部分:着重描述协同要素之间的静态关系的 RACVE 基准要素模型,两个与时间相关的概念———智能主体运行态和Collaborative Federation;以基准要素模型为扩展基础,为了显式地将时间因素作为第四维度,并满足四维和实时的需求,采用模糊时延 Petri 网技术对 CVE各要素的动态状态变迁进行了良好的描述。另外,基于RACVE要素模型,给出了在协同客体并发操作上的应用。 展开更多

关键词 协同虚拟环境 模糊时延petri网 时延模糊 形式化建模 角色机制

在线阅读 下载PDF 职称材料

基于普通Petri网的梯形图中接通延时定时器的建模方法 被引量：1

4

作者 温世刚 罗继亮 +1 位作者 倪会娟 陈雪琨 《计算机科学》 CSCD 北大核心 2014年第7期153-156,共4页

针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法。将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构。结果表明该Petri网能够准确地描述TON的动态行为,从而... 针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法。将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构。结果表明该Petri网能够准确地描述TON的动态行为,从而为PLC梯形图程序的形式化设计或验证提供了建模方法。 展开更多

关键词 可编程逻辑控制器 petri网 梯形图 接通延时定时器

在线阅读 下载PDF 职称材料

基于逻辑时延Petri网的停车预订系统建模与分析 被引量：7

5

作者 管梦真 刘伟 杜玉越 《计算机应用研究》 CSCD 北大核心 2021年第8期2412-2417,共6页

为解决逻辑Petri网不能详尽地描述模型在规定时间点变迁引发和引发完成的时间问题,提出逻辑时延Petri网。首先在普通变迁的基础上引入变迁的引发时间和变迁完成时间形成决策变迁,为每个token定义到达时间和自身时间属性等;其次重新定义... 为解决逻辑Petri网不能详尽地描述模型在规定时间点变迁引发和引发完成的时间问题,提出逻辑时延Petri网。首先在普通变迁的基础上引入变迁的引发时间和变迁完成时间形成决策变迁,为每个token定义到达时间和自身时间属性等;其次重新定义引发规则和可达图算法,并针对决策变迁和可达图生成进行算法描述;最后使用逻辑时延Petri网对停车预订系统进行建模,构建可达图分析系统中重分配问题以及车位的利用率等问题。在此基础上设计实验验证了逻辑时延Petri网的可行性和智能停车预订系统的优势。 展开更多

关键词 逻辑时延petri网 决策变迁 可达图 重分配

在线阅读 下载PDF 职称材料

基于Petri网的突发事件下车辆疏散路线优化 被引量：1

6

作者 牟海波 宋宇博 《控制工程》 CSCD 北大核心 2019年第7期1321-1327,共7页

在发生突发事件利用应急车辆进行疏散和救援时,需根据时间延误确定车辆的最佳疏散路线.应急车辆在路段的走行时间依赖于路段上的车流量,且出发时刻不同,到达交叉口时对应着不同的相位,从而产生不同的交叉口延误.建立了城市交通网络的广... 在发生突发事件利用应急车辆进行疏散和救援时,需根据时间延误确定车辆的最佳疏散路线.应急车辆在路段的走行时间依赖于路段上的车流量,且出发时刻不同,到达交叉口时对应着不同的相位,从而产生不同的交叉口延误.建立了城市交通网络的广义时延Petri 网模型,考虑交叉口信号灯延误的不确定性以及路段走行时间的时间依赖性,以Petri网参数为基础设计了标号算法以寻求应急车辆的最佳疏散路线.最后通过数值算例说明了方法的有效性,并对不同疏散开始时刻同一标识以及同一疏散开始时刻不同标识时得到的疏散路线进行了对比.结果表明该方法可以很好的反应疏散时刻和路段流量对疏散路线的影响. 展开更多

关键词 疏散路线 广义时延petri网 突发事件 时间依赖 标号算法

在线阅读 下载PDF 职称材料

基于分层时延CPN的轧钢物流系统建模 被引量：4

7

作者 赵业清 朱道飞 +2 位作者 王华 毕贵红 王建军 《计算机工程》 CAS CSCD 北大核心 2011年第1期229-231,共3页

用户需求的多样性和随机性会导致生产过程物流异常复杂。针对该问题,提出一种基于分层时延着色Petri网(CPN)的轧钢物流系统模型,采用自顶向下的建模方法,利用CPN对轧钢系统中功能相同的设备进行不同着色,从而降低Petri网的规模以及防止... 用户需求的多样性和随机性会导致生产过程物流异常复杂。针对该问题,提出一种基于分层时延着色Petri网(CPN)的轧钢物流系统模型,采用自顶向下的建模方法,利用CPN对轧钢系统中功能相同的设备进行不同着色,从而降低Petri网的规模以及防止系统模型的空间爆炸问题。实验结果表明,该建模方法能真实反映复杂系统的特点,并为其优化提供依据。 展开更多

关键词 轧钢物流系统 Extendsim平台 分层时延着色petri网

在线阅读 下载PDF 职称材料

自动导引车系统的有色时延PN-有向图建模 被引量：2

8

作者 史扬 曹立明 +1 位作者 詹跃东 王小平 《系统仿真学报》 CAS CSCD 2004年第3期370-374,共5页

基于有色时延Petri网理论、有向图理论、PN的合成和简化技术,结合烟草行业的卷接包车间为典型实例对自动导引车系统(AGVS)进行分析,构造了AGVS的有色时延Petri网-有向图模型,包括适合于仿真软件开发的AGVS有色时延Petri网模型,适合于路... 基于有色时延Petri网理论、有向图理论、PN的合成和简化技术,结合烟草行业的卷接包车间为典型实例对自动导引车系统(AGVS)进行分析,构造了AGVS的有色时延Petri网-有向图模型,包括适合于仿真软件开发的AGVS有色时延Petri网模型,适合于路径优化研究的AGVS有向图模型和从有向图模型得到有色时延Petri网模型的转换算法。利用该模型成功的开发了AGVS仿真软件系统AGVSim。 展开更多

关键词 自动导引车系统 离散事件动态系统 有色时延petri网 有向图 仿真

在线阅读 下载PDF 职称材料

基于Petri网的防空C^3I决策系统的建模分析 被引量：4

9

作者 李大建 王凤山 《系统工程与电子技术》 EI CSCD 北大核心 2005年第9期1600-1602,共3页

对地空导弹决策系统的结构和性能进行了研究。对基于旅营两级决策组织导出的库所/变迁系统进行了描述,建立了防空C3I决策系统的Petri网模型。并引入了决策时延这一反映指挥决策系统能力的重要指标。对提高C3I决策系统的实时性和准确性... 对地空导弹决策系统的结构和性能进行了研究。对基于旅营两级决策组织导出的库所/变迁系统进行了描述,建立了防空C3I决策系统的Petri网模型。并引入了决策时延这一反映指挥决策系统能力的重要指标。对提高C3I决策系统的实时性和准确性做了初步的探讨证明了建立有色Petri网模型后,有效地提高了C3I决策系统决策的实时性和有效性。 展开更多

关键词 petri网 C^3I决策系统 决策时延

在线阅读 下载PDF 职称材料

地空导弹C^3I决策系统的Petri网建模与性能分析 被引量：1

10

作者 李大建 刘付显 王凤山 《火力与指挥控制》 CSCD 北大核心 2006年第2期48-50,54,共4页

对地空导弹决策系统的结构和性能进行了研究。对基于旅营两级决策组织导出的库所/变迁系统进行了描述,建立了较为完善的决策系统的Petri网模型。并引入了决策时延这一反应指挥决策系统能力的重要性指标。这些问题的解决对提高C3I决策系... 对地空导弹决策系统的结构和性能进行了研究。对基于旅营两级决策组织导出的库所/变迁系统进行了描述,建立了较为完善的决策系统的Petri网模型。并引入了决策时延这一反应指挥决策系统能力的重要性指标。这些问题的解决对提高C3I决策系统的实时性和准确性具有十分重要的意义。 展开更多

关键词 petri网 C^3I决策系统 决策时延

在线阅读 下载PDF 职称材料

基于GSPN模型的系统动态可靠性仿真研究 被引量：15

11

作者 苏春 《中国机械工程》 EI CAS CSCD 北大核心 2008年第1期1-5,共5页

分析了传统可靠性建模方法存在的缺陷,提出基于广义随机Petri网(GSPN)的复杂系统动态可靠性建模方法,将变迁分为瞬时变迁和赋时变迁,采用赋时变迁表示零部件故障及其维修过程,以禁止弧表达系统故障与修复状态的转换,建立典型可修复系统... 分析了传统可靠性建模方法存在的缺陷,提出基于广义随机Petri网(GSPN)的复杂系统动态可靠性建模方法,将变迁分为瞬时变迁和赋时变迁,采用赋时变迁表示零部件故障及其维修过程,以禁止弧表达系统故障与修复状态的转换,建立典型可修复系统动态可靠性分析的GSPN模型。针对因非指数分布、状态空间爆炸等导致的GSPN模型求解难题,提出基于蒙特卡罗仿真的求解方法,通过对变迁发生次数及其持续时间、库所状态等参数的统计,计算系统动态可靠性指标。以挖掘机液压回路为例,验证了所提方法的可行性。 展开更多

关键词 动态可靠性 广义随机petri网 赋时变迁 故障 蒙特卡罗仿真

在线阅读 下载PDF 职称材料

基于带标记的并发可达标识图的关键路径的求解方法 被引量：4

12

作者 韩耀军 《计算机科学》 CSCD 北大核心 2016年第11期121-125,141,共6页

将AOE网转换成有色时延Petri网模型,在模型转换过程中同时计算出各位置所对应的事件的最早开始时间,给出了模拟AOE网的有色时延Petri网模型的带标记的并发可达标识图的构建算法;利用并发可达标识图中的标记序列直接得到关键路径并计算... 将AOE网转换成有色时延Petri网模型,在模型转换过程中同时计算出各位置所对应的事件的最早开始时间,给出了模拟AOE网的有色时延Petri网模型的带标记的并发可达标识图的构建算法;利用并发可达标识图中的标记序列直接得到关键路径并计算出完成所有活动所需的最短时间。实例与仿真实验结果表明,当AOE网中平均存在3个以上的并发活动时,所提方法执行效率优于传统的求解关键路径的算法,并发活动越多,所提算法效率越高。 展开更多

关键词 有色时延petri网 并发可达标识图 AOE网 关键路径

在线阅读 下载PDF 职称材料

导弹拦截的混杂对策系统建模研究 被引量：1

13

作者 郝丽娜 曹瑞珉 +1 位作者 王风立 白国力 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第7期931-936,共6页

导弹拦截系统中既存在轨迹的连续变化过程,也存在策略的选择问题,单独采用微分对策和事件对策均无法有效描述该系统的混杂特性.将该过程看作一类混杂系统,提出一种导弹拦截过程(missile interception process,MIP)的混杂对策建模方法.... 导弹拦截系统中既存在轨迹的连续变化过程,也存在策略的选择问题,单独采用微分对策和事件对策均无法有效描述该系统的混杂特性.将该过程看作一类混杂系统,提出一种导弹拦截过程(missile interception process,MIP)的混杂对策建模方法.基于混杂随机时延Petri网(hybrid stochastic timed Petri net,HSTPN)建立导弹拦截事件对策模型,结合导弹飞行过程的动力学模型建立拦截过程的微分对策模型;以"民兵Ⅲ"导弹作为进攻弹,对MIP的混杂过程进行实例仿真.结果证明,采用混杂对策建立的导弹拦截混杂描述方案,既可以较好地描述导弹轨迹的连续变化过程,也可以描述策略的选择问题. 展开更多

关键词 导弹拦截 混杂对策 混杂随机时延petri网(HSTPN) 事件对策 微分对策

在线阅读 下载PDF 职称材料

Lua脚本与C++交互流程及在其HSTPN仿真软件的应用 被引量：5

14

作者 陈佳铭 王风立 +1 位作者 邓君湘 曹瑞珉 《计算机应用与软件》 北大核心 2018年第10期13-16,54,共5页

设计HSTPN(Hybrid Stochastic Timed Petri Nets)仿真软件的整体架构,包括人机交互层、数据结构层、推演仿真层、文件存储层4个层次。基于MFC"文档-视图类"框架,设计软件分层架构的类架构及其包含的功能。完成建模功能、推演... 设计HSTPN(Hybrid Stochastic Timed Petri Nets)仿真软件的整体架构,包括人机交互层、数据结构层、推演仿真层、文件存储层4个层次。基于MFC"文档-视图类"框架,设计软件分层架构的类架构及其包含的功能。完成建模功能、推演功能、模型存储与加载功能以及数据输出功能等的详细设计,并实现软件程序的开发。给出Lua脚本与C++交互流程,实现基于Lua脚本的连续过程编程。 展开更多

关键词 混杂随机时延petri网(HSTPN) MFC框架 Lua脚本

在线阅读 下载PDF 职称材料