基于赋时着色Petri网的协同工作建模和性能研究 被引量：5

1

作者 田锋 李人厚 张金成 《西安交通大学学报》 EI CAS CSCD 北大核心 2003年第6期560-564,共5页

提出了利用赋时着色Petri网(TimedColoredPetriNet)对协同工作进行建模和性能分析的方法;从性能角度提出一种新的协调策略,即从任务动态分配的角度对协同性能进行分析,并比较了各种资源优化分配的不足之处;提出利用模糊策略的方式,按照... 提出了利用赋时着色Petri网(TimedColoredPetriNet)对协同工作进行建模和性能分析的方法;从性能角度提出一种新的协调策略,即从任务动态分配的角度对协同性能进行分析,并比较了各种资源优化分配的不足之处;提出利用模糊策略的方式,按照协同成员(组)的不同能力,在满足完成时间的要求下进行任务分配,从而达到了整体协作性能提升的效果.同时,用Deisgn/CPN对该策略进行了仿真分析,其结果证明了该方法的有效性和可行性.所提的调度策略已在CooPDesigner系统中得以实现. 展开更多

关键词 协同工作 赋时着色petri网 建模 协调策略 性能分析

在线阅读 下载PDF 职称材料

基于赋时可重构Petri网的可重构制造系统调度算法 被引量：3

2

作者 蔡宗琰 王宁生 +1 位作者 任守纲 李亚白 《西南交通大学学报》 EI CSCD 北大核心 2004年第3期341-344,共4页

根据赋时可重构Petri网的可重构制造系统调度算法和赋时可重构Petri网的跃迁激发顺序,生成并求解部分可及图,以获得优化或准优化的调度.该算法能以较低的计算成本获得可重构制造系统最小的最大完成时间.用一个调度算例验证了该调度算法... 根据赋时可重构Petri网的可重构制造系统调度算法和赋时可重构Petri网的跃迁激发顺序,生成并求解部分可及图,以获得优化或准优化的调度.该算法能以较低的计算成本获得可重构制造系统最小的最大完成时间.用一个调度算例验证了该调度算法的可行性. 展开更多

关键词 调度 优化 路径 可重构制造系统 赋时可重构petri网

在线阅读 下载PDF 职称材料

基于赋时Petri网的弹种发射时序优化 被引量：2

3

作者 李卉 胡献君 +1 位作者 邱志明 王航宇 《火力与指挥控制》 CSCD 北大核心 2011年第4期195-197,200,共4页

针对单通道多弹种的匹配发射问题展开了研究。首次提出用赋时Petri网来描述弹种匹配发射流程,通过在变迁中引入时延因素,简单而有效的描述了发射过程中资源的占用和消耗情况。建立了弹种发射时序优化模型,并利用Petri网的分析方法,得到... 针对单通道多弹种的匹配发射问题展开了研究。首次提出用赋时Petri网来描述弹种匹配发射流程,通过在变迁中引入时延因素,简单而有效的描述了发射过程中资源的占用和消耗情况。建立了弹种发射时序优化模型,并利用Petri网的分析方法,得到若干发射序列,选择出满足时序逻辑关系的发射序列,从而得到最优的弹种发射控制方案。并通过具体实例予以了计算验证。此文的研究可为武器系统的单通道多弹种作战使用提供一定的理论支撑和决策参考。 展开更多

关键词 赋时petri网 发射控制 发射时序

在线阅读 下载PDF 职称材料

基于赋时着色Petri网的RBC控车实时性能分析 被引量：7

4

作者 石竹 李开成 《现代电子技术》 2012年第3期170-173,共4页

RBC(无线闭塞中心)是CTCS-3级列控系统的关键设备,RBC通过GSM-R网络与列控车载设备进行连续双向的信息交互,实现对运行列车的控制。RBC控车实时性能是影响CTCS-3级列车运行控制系统的控制精度、效率、可靠性和安全性的重要指标与因素。... RBC(无线闭塞中心)是CTCS-3级列控系统的关键设备,RBC通过GSM-R网络与列控车载设备进行连续双向的信息交互,实现对运行列车的控制。RBC控车实时性能是影响CTCS-3级列车运行控制系统的控制精度、效率、可靠性和安全性的重要指标与因素。对该性能指标进行形式化方法研究可为验证CTCS-3级列车运行控制系统规范和系统研发提供参考。着色Petri网不仅可以描述系统的静态结构,而且可以实现模型动态仿真,克服了其他形式化方法对系统动态行为进行静态描述的缺点。采用赋时着色Petri网对RBC与列车通信的无线消息进行研究。针对两种无线消息模型,综合信道突发降质、GSM-R小区切换、链路中断等故障因素分别进行仿真,得到RBC控车平均延时曲线,并分析不同列车速度及重发时间间隔对无线消息模型产生的影响。 展开更多

关键词 CTCS-3 形式化分析 赋时着色petri网 RBC

在线阅读 下载PDF 职称材料

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

5

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

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

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

在线阅读 下载PDF 职称材料

基于赋时着色Petri网的木材柔性加工系统的建模与重构 被引量：1

6

作者 赵月容 曹军 孙丽萍 《大连交通大学学报》 CAS 2010年第1期13-16,共4页

以Petri网为建模工具,针对木材柔性加工系统(Wood Flexible Manufacturing System,WFMS)中的离散事件建立赋时着色Petri网(Timed Colored Petri-net,TCPN)模型.该模型不仅可以反映木材柔性加工系统中待加工产品的工艺加工路线,对系统的... 以Petri网为建模工具,针对木材柔性加工系统(Wood Flexible Manufacturing System,WFMS)中的离散事件建立赋时着色Petri网(Timed Colored Petri-net,TCPN)模型.该模型不仅可以反映木材柔性加工系统中待加工产品的工艺加工路线,对系统的特性进行描述,还能够根据生产任务的变化进行快速重构.应用软件对该模型进行仿真,结果表明该模型是有效的.根据仿真结果,对系统进行简单的优化调度,提高了机床的利用率. 展开更多

关键词 赋时着色petri网 木材加工 柔性系统 动态模型 重构

在线阅读 下载PDF 职称材料

基于赋时层次有色Petri网的Multi-Agent调度系统建模 被引量：1

7

作者 翟东升 李莉 张书杰 《微电子学与计算机》 CSCD 北大核心 2008年第7期148-151,156,共5页

介绍了基于Multi-Agent的分布式环境扫描系统的结构模型.依据赋时层次有色Petri网(HTCP-net)的理论,应用建模、仿真工具CPN Tools建立了基于优先级的任务调度算法和最短等待队列动态负载均衡调度算法的系统调度模型.仿真结果表明,该调... 介绍了基于Multi-Agent的分布式环境扫描系统的结构模型.依据赋时层次有色Petri网(HTCP-net)的理论,应用建模、仿真工具CPN Tools建立了基于优先级的任务调度算法和最短等待队列动态负载均衡调度算法的系统调度模型.仿真结果表明,该调度模型有效满足了系统周期性重复访问网站的任务需求. 展开更多

关键词 赋时层次有色petri网 系统仿真 MULTI-AGENT 任务调度

在线阅读 下载PDF 职称材料

基于赋时Petri网大坝混凝土施工过程建模与实现 被引量：8

8

作者 刘全 杨学红 +2 位作者 范五一 杨栋 曹林香 《水电能源科学》 2005年第4期12-14,共3页

利用赋时Petri网描述系统组织、结构和状态的变化特点,建立了赋时Petri网的大坝混凝土施工过程模型,并利用面向对象分析方法建立了仿真程序。实例计算与分析表明,运用赋时Petri网对大坝混凝土施工过程进行系统建模是可行的,对于优化设... 利用赋时Petri网描述系统组织、结构和状态的变化特点,建立了赋时Petri网的大坝混凝土施工过程模型,并利用面向对象分析方法建立了仿真程序。实例计算与分析表明,运用赋时Petri网对大坝混凝土施工过程进行系统建模是可行的,对于优化设计具有良好的指导作用。 展开更多

关键词 大坝施工 系统建模 计算机仿真 赋时petri网

在线阅读 下载PDF 职称材料

基于赋时有色Petri网离散制造过程建模与仿真 被引量：3

9

作者 李任江 曹阳 《长春工业大学学报》 CAS 2015年第1期38-43,共6页

针对解决离散制造系统控制过程中可能出现的冲突、死锁等问题,将赋时Petri网和着色Petri网两者相结合,根据柔性制造系统的元素建立了拥有4个CNC机床加工中心,4条工件生产线的赋时着色Petri网模型。仿真结果表明,该方法能有效解决冲突、... 针对解决离散制造系统控制过程中可能出现的冲突、死锁等问题,将赋时Petri网和着色Petri网两者相结合,根据柔性制造系统的元素建立了拥有4个CNC机床加工中心,4条工件生产线的赋时着色Petri网模型。仿真结果表明,该方法能有效解决冲突、死锁等问题。 展开更多

关键词 离散系统 柔性制造 赋时有色petri网

在线阅读 下载PDF 职称材料

基于分层赋时着色Petri网的临床路径建模 被引量：8

10

作者 赵艳丽 江志斌 李娜 《上海交通大学学报》 EI CAS CSCD 北大核心 2010年第2期252-258,共7页

为了实现按病种设计的最佳医疗护理诊治方案和建立临床路径诊治系统,提出一种基于分层赋时着色Petri网(HTCPN)对复杂病种建立临床路径模型的方法,实现了对诊疗状态、信息流转及诊疗活动间的关系的可视化监控.基于标准元语言(SML)函数的... 为了实现按病种设计的最佳医疗护理诊治方案和建立临床路径诊治系统,提出一种基于分层赋时着色Petri网(HTCPN)对复杂病种建立临床路径模型的方法,实现了对诊疗状态、信息流转及诊疗活动间的关系的可视化监控.基于标准元语言(SML)函数的设计,所建模型支持诊断决策信息和检查结果的实时输入,同时能够预测分析变异情况并实现路径的自动调整.设定任务时间戳对不同的患者到达速率分布进行数据仿真,基于仿真结果给出资源配置建议以改善临床路径实施效果.实验结果表明,基于HTCPN的临床路径在定性定量分析医疗诊治流程的基础上可以优化临床路径,继而为建立临床路径管理系统提供了依据. 展开更多

关键词 分层赋时着色petri网 临床路径 骨肉瘤 资源利用率 指数分布

在线阅读 下载PDF 职称材料

赋时着色Petri网在建模仿真中的应用 被引量：3

11

作者 汪亚男 王明哲 《兵工自动化》 2005年第1期50-51,56,共3页

赋时着色 Petri 网(TCPN)在着色 Petri 网(CPN)基础上引入时间概念,更适于复杂系统建模仿真。其库所赋时实施规则同 CPN,变迁赋时实施规则将令牌移入变迁的输出库所。基于 TCPN 优先权服务排队系统,用 CPN的元语言实现优先权排队,由于... 赋时着色 Petri 网(TCPN)在着色 Petri 网(CPN)基础上引入时间概念,更适于复杂系统建模仿真。其库所赋时实施规则同 CPN,变迁赋时实施规则将令牌移入变迁的输出库所。基于 TCPN 优先权服务排队系统,用 CPN的元语言实现优先权排队,由于时间引入,可真实模拟顾客到达时间和服务台服务时间。 展开更多

关键词 赋时着色petri网 实施规则 着色petri网 建模仿真

在线阅读 下载PDF 职称材料

基于着色赋时面向对象Petri网的AUV系统建模研究 被引量：2

12

作者 刘心 印桂生 张磊 《现代电子技术》 2009年第13期167-170,共4页

研究并实现一种着色赋时面向对象Petri网(CTOPN)建模方法,它将面向对象技术与着色赋时Petri网相结合,从而综合了两种方法的优势,降低了Petri网模型的复杂性,增加了时间描述,便于系统定量分析。首先给出CTOPN的形式定义,然后建立AUV系统... 研究并实现一种着色赋时面向对象Petri网(CTOPN)建模方法,它将面向对象技术与着色赋时Petri网相结合,从而综合了两种方法的优势,降低了Petri网模型的复杂性,增加了时间描述,便于系统定量分析。首先给出CTOPN的形式定义,然后建立AUV系统的CTOPN模型,最后给出模型的死锁检测算法,从而验证模型无死锁,为系统仿真创造了条件。 展开更多

关键词 着色赋时petri网 面向对象 自主式水下机器人 建模 死锁

在线阅读 下载PDF 职称材料

基于赋时Petri网的高高原机场应急资源配置优化 被引量：2

13

作者 许晨晨 邵荃 《航空计算技术》 2019年第1期67-72,共6页

为提升高高原机场应急救援效率,对高高原机场应急资源配置进行优化研究。分析高高原机场应急救援的特殊性,细分高高原机场应急救援作业流程。基于赋时Petri网对高高原机场突发事件应急救援作业的离散事件动态系统进行建模,分析模型可靠... 为提升高高原机场应急救援效率,对高高原机场应急资源配置进行优化研究。分析高高原机场应急救援的特殊性,细分高高原机场应急救援作业流程。基于赋时Petri网对高高原机场突发事件应急救援作业的离散事件动态系统进行建模,分析模型可靠性,基于库所不变量分析法求解关键路径。实验以高高原机场航空器冲偏出跑道为例进行算例分析,求解关键路径,并对关键路径作业进行资源调整,实现应急救援作业周期优化。 展开更多

关键词 高高原机场 应急救援 资源配置 赋时petri网

在线阅读 下载PDF 职称材料

基于赋时层次着色Petri网的混杂系统建模与行为分析

14

作者 李胜昌 宋阿妮 王明哲 《应用科学学报》 CAS CSCD 北大核心 2014年第3期293-300,共8页

大型混杂系统的复杂性使建模与行为分析面临巨大挑战.为此,提出一种基于赋时层次着色Petri网的建模方法,以离散事件驱动为主线,将连续部分模型通过扩展变迁嵌入到离散模型中.离散部分和连续部分分别利用各自领域里的专业工具建模,通过... 大型混杂系统的复杂性使建模与行为分析面临巨大挑战.为此,提出一种基于赋时层次着色Petri网的建模方法,以离散事件驱动为主线,将连续部分模型通过扩展变迁嵌入到离散模型中.离散部分和连续部分分别利用各自领域里的专业工具建模,通过通信接口交互实现混杂交互仿真,同时保证整个系统的数据一致性和时间同步性.在进行混杂系统行为分析时,根据Petri网的结构化分析方法得到混杂系统的不同行为模式,针对各模式进行多属性仿真分析.最后通过一个导弹防御系统的例子说明该建模分析方法的可行性. 展开更多

关键词 混杂系统 赋时层次着色petri网 结构化分析 行为仿真

在线阅读 下载PDF 职称材料

一种着色赋时的面向对象Petri网及在自动制造系统中的应用

15

作者 刘心 印桂生 《微电子学与计算机》 CSCD 北大核心 2009年第9期13-15,共3页

着色赋时的面向对象Petri网(Colored Ti med Object-Oriented Petri Net,CTOPN)是在面向对象Petri网的基础上,添加了着色令牌和输入输出变迁函数的概念而形成的,是Petri网的扩展形式.给出了CTOPN的基本定义和建立CTOPN模型的方法,给出了... 着色赋时的面向对象Petri网(Colored Ti med Object-Oriented Petri Net,CTOPN)是在面向对象Petri网的基础上,添加了着色令牌和输入输出变迁函数的概念而形成的,是Petri网的扩展形式.给出了CTOPN的基本定义和建立CTOPN模型的方法,给出了CTOPN在自动制造系统(Automated Manufacturing Systems,AMS)中的应用实例,最后对模型进行了死锁分析.CTOPN可以准确地描述复杂系统的静态结构及动态特性,能够成为面向对象系统的一种形式化的建模工具. 展开更多

关键词 着色 赋时 面向对象petri网 着色令牌 变迁函数 死锁

在线阅读 下载PDF 职称材料

基于赋时颜色Petri网的实用故障诊断算法研究

16

作者 罗婷 石璐 +1 位作者 闫超 吕晓禄 《工程建设与设计》 2017年第23期77-79,共3页

介绍了一种应用基于赋时颜色Petri网来实现电力系统故障诊断的方法。基于赋时颜色Petri网建立的故障诊断模型能更准确地模拟继电保护配合关系,弥补了传统Petri网故障诊断中保护范围划分不明确的缺陷。利用CPNTools软件进行典型算例仿真... 介绍了一种应用基于赋时颜色Petri网来实现电力系统故障诊断的方法。基于赋时颜色Petri网建立的故障诊断模型能更准确地模拟继电保护配合关系,弥补了传统Petri网故障诊断中保护范围划分不明确的缺陷。利用CPNTools软件进行典型算例仿真,结果表明,论文提出的诊断方法对电网的简单故障及在保护和断路器不正确动作的复杂情况下均能快速地准确定位故障元件,自动给出可靠的诊断结果,诊断正确率和实用程度相对基本Petri网诊断方法大大提高。 展开更多

关键词 故障诊断 petri网 赋时颜色 CPN TOOLS

在线阅读 下载PDF 职称材料

基于Petri网与遗传算法的半导体生产线建模与优化调度 被引量：11

17

作者 曹政才 余红霞 乔非 《电子学报》 EI CAS CSCD 北大核心 2010年第2期340-344,共5页

针对半导体生产线调度复杂、难以优化的问题,本文提出一种基于层次有色赋时Petri网技术和遗传算法相结合的优化调度方法.该方法利用层次化的思想结合自顶向下建模方法对半导体生产线进行模块化建模,模型不仅能够反映生产线待加工产品的... 针对半导体生产线调度复杂、难以优化的问题,本文提出一种基于层次有色赋时Petri网技术和遗传算法相结合的优化调度方法.该方法利用层次化的思想结合自顶向下建模方法对半导体生产线进行模块化建模,模型不仅能够反映生产线待加工产品的多条加工路径及其资源约束,还可以对系统的设备维护、各种优先级等特性进行描述,得到对生产系统更完善更精确的刻画.通过在遗传算法编码中考虑投料策略、工件选设备规则、批加工调度规则和单件加工设备规则等因素得到更加有效的调度方案,提高了模型的优化程度.在此基础上,对实际半导体生产线的不同调度方案分别进行仿真,并对仿真结果进行比较,从而验证了建模方法的正确性及调度策略的有效性. 展开更多

关键词 半导体生产线 层次有色赋时petri网 遗传算法 建模 优化

在线阅读 下载PDF 职称材料

基于Petri网列车群模型的列车运行冲突分析 被引量：6

18

作者 王鹏玲 马磊 +1 位作者 王青元 冯晓云 《铁道学报》 EI CAS CSCD 北大核心 2015年第3期1-7,共7页

列车运行冲突检测是铁路系统安全运营的重要保障。本文首先给出赋时着色Petri网的形式化定义,定义变迁使能和触发规则及状态转移函数;基于赋时着色Petri网,以库表示车站/闭塞分区,托肯表示列车,建立列车群模型,为冲突检测提供模型基础... 列车运行冲突检测是铁路系统安全运营的重要保障。本文首先给出赋时着色Petri网的形式化定义,定义变迁使能和触发规则及状态转移函数;基于赋时着色Petri网,以库表示车站/闭塞分区,托肯表示列车,建立列车群模型,为冲突检测提供模型基础。在经典Petri网冲突定理的基础上,结合库容量约束和时间间隔约束,提出列车运行冲突判定定理,并证明该方法的正确性;在此基础上,设计基于可达树的冲突分析方法,并以太原铁路局部分线路为例,通过实例介绍列车运行冲突和进路冲突检测分析的方法。基于Petri网的列车群模型为铁路系统冲突分析问题的处理提供新的途径。 展开更多

关键词 铁路冲突管理 冲突检测 赋时着色petri网

在线阅读 下载PDF 职称材料

基于Petri网仿真的柔性生产调度——蚁群-遗传递阶进化优化方法 被引量：18

19

作者 王笑蓉 吴铁军 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2004年第3期286-291,共6页

利用受控赋时Petri网对柔性生产线调度中的离散事件建模,此Petri网模型由过程流子网、资源子网和调度控制子网通过同步变迁连接而成.在由Petri网仿真运行获得调度性能评价的基础上,采用两级递阶进化优化方法求解柔性生产过程的优化调度... 利用受控赋时Petri网对柔性生产线调度中的离散事件建模,此Petri网模型由过程流子网、资源子网和调度控制子网通过同步变迁连接而成.在由Petri网仿真运行获得调度性能评价的基础上,采用两级递阶进化优化方法求解柔性生产过程的优化调度问题.首先由蚁群优化方法优化加工路径,然后根据蚁群在信息素指引下所构造的加工路径,采用遗传算法优化在同一机器上加工的作业排序.应用蚁群优化原理提出了加工路径优化问题的信息素表达方式,解构造策略和信息素更新策略.一组测试问题的求解结果说明了算法的有效性和鲁棒性. 展开更多

关键词 柔性生产调度 受控赋时petri网 蚁群优化 遗传算法 进化优化

在线阅读 下载PDF 职称材料

基于Petri网与IFA的3D NoC测试调度优化研究 被引量：3

20

作者 胡聪 郑岚 +3 位作者 覃斌毅 周甜 朱爱军 朱望纯 《微电子学与计算机》 北大核心 2019年第11期99-106,共8页

针对三维片上网络(3D NoC)测试调度困难、并行测试效率低的问题,提出了一种层次着色赋时Petri网(HCTPN)与改进萤火虫算法(IFA)相结合的方法.该方法通过HCTPN模型分层描述系统调度过程和局部测试细节,并将测试调度方案与变迁发生序列相关... 针对三维片上网络(3D NoC)测试调度困难、并行测试效率低的问题,提出了一种层次着色赋时Petri网(HCTPN)与改进萤火虫算法(IFA)相结合的方法.该方法通过HCTPN模型分层描述系统调度过程和局部测试细节,并将测试调度方案与变迁发生序列相关联.为了优化模型中的路由计算变迁,针对3D Torus拓扑结构设计了一种改进路由算法.在此基础上,使变迁发生序列映射为萤火虫个体,同时采用融合了反向学习机制与差分进化算法的IFA来寻找最优序列.实验结果表明,HCTPN模型能清晰刻画测试的调度过程、资源约束、优先级等特性;改进路由算法能有效减少测试调度过程中的路由时间;IFA能高效求得测试调度最优解,测试时间较其他方法最大程度上降低了18.9%,有效提升了测试效率. 展开更多

关键词 三维片上网络 测试调度 层次着色赋时petri网 路由算法 萤火虫算法

在线阅读 下载PDF 职称材料