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网描述的多产品间歇过程调度研究 被引量：6

6

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

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

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

在线阅读 下载PDF 职称材料

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

7

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

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

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

在线阅读 下载PDF 职称材料

柔性存储传输线的赋时Petri网建模

8

作者 孙磊 沈俊杰 《上海大学学报（自然科学版）》 CAS CSCD 2004年第4期352-356,共5页

该文在深入研究了赋时Petri网的基础上,对柔性存储传输线进行了建模,提出了采用递推模型简化基本模型,为下一步对实时离散事件系统进行分析和控制研究打下了良好的基础.结果表明递推模型对化简Petri网模型是有效的.

关键词 赋时petri网 传输线 建模 离散事件系统(DES)

在线阅读 下载PDF 职称材料

基于赋时Petri网的批处理系统建模 被引量：3

9

作者 陶丽华 《组合机床与自动化加工技术》 2006年第5期19-22,共4页

批处理系统建模是其性能评价、仿真、调度以及控制研究的基础。批处理生产系统是动态离散事件系统,串行与并行生产过程并存。为了建立批处理系统的动态模型,引入了赋时Petri网的建模概念和特征,进行了批处理系统中资源模块的建模描述。... 批处理系统建模是其性能评价、仿真、调度以及控制研究的基础。批处理生产系统是动态离散事件系统,串行与并行生产过程并存。为了建立批处理系统的动态模型,引入了赋时Petri网的建模概念和特征,进行了批处理系统中资源模块的建模描述。在此基础上,提出了批处理系统的通用赋时Petri网的建模方法。采用提出的批处理系统建模方法,针对具体的批处理实例系统进行了建模。同时,在实例模型基础上,进行了批处理系统的调度研究。 展开更多

关键词 赋时petri网 建模 调度 批处理系统 离散事件动态系统

在线阅读 下载PDF 职称材料

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

10

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

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

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

在线阅读 下载PDF 职称材料

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

11

作者 史扬 曹立明 +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 职称材料

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

12

作者 刘栋 陈允平 +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网矩阵模型仿真的改进算法 被引量：2

13

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

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

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

在线阅读 下载PDF 职称材料

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

14

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

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

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

在线阅读 下载PDF 职称材料

具有硬实时上限的离散事件系统的建模 被引量：1

15

作者 李惠峰 卫军胡 +1 位作者 陈浩勋 孙国基 《西安交通大学学报》 EI CAS CSCD 北大核心 1998年第7期27-31,共5页

实时离散事件系统中有两种具有硬实时上限的离散事件———有界事件和有效期事件，它们比基本实时离散事件———无界事件和强迫事件具有更强的时间约束，对包含这两类事件的系统进行研究就变得十分复杂．文中给出了基于基本实时离散事... 实时离散事件系统中有两种具有硬实时上限的离散事件———有界事件和有效期事件，它们比基本实时离散事件———无界事件和强迫事件具有更强的时间约束，对包含这两类事件的系统进行研究就变得十分复杂．文中给出了基于基本实时离散事件的Ｐｅｔｒｉ网模型，并为有界事件和有效期事件找到了由基本实时离散事件构成的Ｐｅｔｒｉ网模型，从而使文中的模型能够描述更广泛的离散事件系统． 展开更多

关键词 实时离散事件系统 有界事件 有效期事件 tick事件 petri网模型 硬实时上限

在线阅读 下载PDF 职称材料

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

16

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

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

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

在线阅读 下载PDF 职称材料

一类含T-图环结构受控网显式控制器设计

17

作者 董利达 郑寒 程曦浩 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2010年第6期1057-1066,共10页

定义并研究了T-图工作流网的结构和相关性质,提出一种基于T-图工作流网的替换规则,在此基础上,根据树Ⅰ型和树Ⅱ型的结构特点,构造2种新类型的Petri网子类,即T-图工作流—树Ⅰ型和T-图工作流—树Ⅱ型的Petri网.利用T-图工作流子网替换... 定义并研究了T-图工作流网的结构和相关性质,提出一种基于T-图工作流网的替换规则,在此基础上,根据树Ⅰ型和树Ⅱ型的结构特点,构造2种新类型的Petri网子类,即T-图工作流—树Ⅰ型和T-图工作流—树Ⅱ型的Petri网.利用T-图工作流子网替换前后原网系统和替换网系统对同名库所权矢量的界保持不变的替换特性,给出一种适用于前向子网为T-图工作流—树I型或者T-图工作流—树Ⅱ型的受控Petri网显式控制器设计方法,应用示例表明:所提出的方法适用于一类最大不可控子网含T-图环结构时的受控Petri网显式控制器设计. 展开更多

关键词 离散事件系统 petri网 显式监控器 t-图工作流

在线阅读 下载PDF 职称材料

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

18

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

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

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

在线阅读 下载PDF 职称材料

基于赋时事件图的故障诊断(英文) 被引量：5

19

作者 薛飞 郑大钟 《控制理论与应用》 EI CAS CSCD 北大核心 2005年第4期609-614,共6页

赋时事件图(TEG)是一类用于描述同步特性的重要的Petri网.本文提出并研究了基于赋时事件图的故障诊断问题.文中定义了两类系统故障类型:变迁失效(Invalidation)故障和变迁时间延迟(Time_lag)故障.基于事件图关联矩阵,通过研究变迁失效... 赋时事件图(TEG)是一类用于描述同步特性的重要的Petri网.本文提出并研究了基于赋时事件图的故障诊断问题.文中定义了两类系统故障类型:变迁失效(Invalidation)故障和变迁时间延迟(Time_lag)故障.基于事件图关联矩阵,通过研究变迁失效故障的可观测传播特性,引入了故障特征向量的概念.基于此,给出了失效故障的可诊断性的充分必要条件.对于时延故障,提出了一种基于变迁触发时间估计进行故障诊断的简单算法.并基于此算法,研究了时延故障的可诊断条件. 展开更多

关键词 离散事件系统 故障诊断 petri网 赋时事件图 极大代数

在线阅读 下载PDF 职称材料

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

20

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

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

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

在线阅读 下载PDF 职称材料