检索结果-南通市图书馆

基于赋时着色petri网的协同工作建模和性能研究

在线全文

学校读者我要写书评

暂无评论

西安交通大学学报 2003年第6期37卷 560-564页

作者：田锋李人厚张金成西安交通大学电子与信息工程学院西安710049

提出了利用赋时着色petri网(TimedColoredpetriNet)对协同工作进行建模和性能分析的方法;从性能角度提出一种新的协调策略,即从任务动态分配的角度对协同性能进行分析,并比较了各种资源优化分配的不足之处;提出利用模糊策略的方式,按照... 详细信息

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

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

在线全文

学校读者我要写书评

暂无评论

赋时着色petri网在建模仿真中的应用

兵工自动化 2005年第1期24卷 50-51,56页

作者：汪亚男王明哲华中科技大学控制科学与工程系湖北武汉430074

赋时着色 petri 网(TCPN)在着色 petri 网(CPN)基础上引入时间概念,更适于复杂系统建模仿真。其库所赋时实施规则同 CPN,变迁赋时实施规则将令牌移入变迁的输出库所。基于 TCPN 优先权服务排队系统,用 CPN的元语言实现优先权排队,由于... 详细信息

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

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

基于赋时着色petri网物流配送中心的建模与仿真

在线全文

学校读者我要写书评

暂无评论

基于赋时着色Petri网物流配送中心的建模与仿真

作者：孙振华青岛理工大学

学位级别：硕士

物流配送中心是现代物流业的重要组成部分。过去优化配送中心的过程常在配送中心运作时进行，对己建成的配送中心的各环节进行分析，然后更换配送中心设备或优化作业过程。以往的做法不仅仅会浪费许多资金和机械设备，并且还会耗用大量... 详细信息

物流配送中心是现代物流业的重要组成部分。过去优化配送中心的过程常在配送中心运作时进行，对己建成的配送中心的各环节进行分析，然后更换配送中心设备或优化作业过程。以往的做法不仅仅会浪费许多资金和机械设备，并且还会耗用大量的时间、人力和物力成本等。为了更加地节省时间和优化过程的成本，保证决策规划的科学性、合理性和可实施性，作者通过调查论证提出了将基于赋时着色petri网应用到物流配送中心，并对其进行了建模与仿真的研究。为了更加有效地对物流配送中心的有关性能进行分析，依据配送中心的作业特点，将物流配送中心可以剖析为进货、储存、分拣、配货和搬运输送设备等子系统，并借助了赋时着色petri网建立物流配送中心进行建模。通过利用物流仿真软件AutoMod，进一步完善了物流配送中心分拣系统和流通加工系统以及AS/RS系统的计算机仿真。针对仿真结果提出了一些改进措施，并为该配送中心的改进方案和决策提供参考依据。

关键词：物流配送中心赋时着色petri网 AutoMod 建模仿真

基于赋时着色petri网的工作流建模技术研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于赋时着色Petri网的工作流建模技术研究

作者：吴继锋河海大学

学位级别：硕士

近几年来，工作流管理技术被业界广泛采用并得到了迅速发展。它的主要特点是根据一系列过程规则，采用计算机技术，使得业务流程完全或者部分地自动执行。工作流管理系统最重要的功能之一就是工作流建模。这些预定义的过程模型必须能很... 详细信息

近几年来，工作流管理技术被业界广泛采用并得到了迅速发展。它的主要特点是根据一系列过程规则，采用计算机技术，使得业务流程完全或者部分地自动执行。工作流管理系统最重要的功能之一就是工作流建模。这些预定义的过程模型必须能很好的反映实际业务流程，因此需要找寻更为灵活的工作流过程形式化表示方法及过程的执行策略。为了判定新的业务过程模型是否正确，就必须对其进行分析。因此，需要研究使用仿真和形式化验证技术。Aalst的工作流网技术就是一个典型代表。 Aalst的工作流网已被众多研究人员所认同，它是基于经典petri网所建立的。因此，它能精确地描述事件的顺序、并发和冲突关系，使系统形象化，有利于理解。但是，传统petri网具有一些固有的缺陷：难以实现流程控制，不能描述时间性活动。因此，本文对经典petri网进行颜色扩展、时间扩展，在Aalst的工作流网基础上提出了基于赋时着色petri网的工作流网，以及从业务流程到工作流网的映射算法。模型的正确性验证一直是工作流过程定义阶段的难点问题。一些学者提出了基于图规约法的验证算法，这些算法研究主要集中在时间petri网的验证简化上，很少有对赋时着色petri网进行研究的，并且这些研究也局限于对简单控制结构的规约，对一些复杂结构(如：AND-AND嵌套结构、OR-OR嵌套结构)仍然束手无策。本文在这些算法的研究基础上对赋时着色petri网的各种结构进行详细的研究，提出了针对基于赋时着色petri网的工作流网的图规约验证算法。最后，本文设计了一个用于进行模型元数据输出的建模工具。它采用XPDL标准，支持可视化操作，支持业务流程模型重现，并实现了从业务流程到工作流网的映射算法。

关键词：工作流过程定义赋时着色petri网工作流网类邻接表 XPDL

基于赋时着色petri网的木材柔性加工系统的建模与重构

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

大连交通大学学报 2010年第1期31卷 13-16页

作者：赵月容曹军孙丽萍东北林业大学机电工程学院黑龙江哈尔滨150040 黑龙江大学机电工程学院黑龙江哈尔滨150080

以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网木材加工柔性系统动态模型重构

基于赋时着色petri网的RBC控车实时性能分析

在线全文

学校读者我要写书评

暂无评论

现代电子技术 2012年第3期35卷 170-173页

作者：石竹李开成北京交通大学轨道交通运行控制系统国家工程研究中心北京100044

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

带时间窗的复杂任务多机器人系统路径规划研究

在线全文

学校读者我要写书评

暂无评论

带时间窗的复杂任务多机器人系统路径规划研究

作者：张瑞杰陕西科技大学

学位级别：硕士

随着人们对智能制造相关技术的大力研发和投入以及“中国制造2025”的实施,智能制造的发展和进步已经逐渐体现在人们生活的各个方面,以移动机器人为代表的相关智能产品在工业自动化、智能工厂及配送等领域普遍可见。机器人的工作能力逐... 详细信息

随着人们对智能制造相关技术的大力研发和投入以及“中国制造2025”的实施,智能制造的发展和进步已经逐渐体现在人们生活的各个方面,以移动机器人为代表的相关智能产品在工业自动化、智能工厂及配送等领域普遍可见。机器人的工作能力逐渐提高,实际执行的任务也逐渐变得繁杂,单个机器人已难以实现现实的任务目标,因此多机器人协作完成复杂任务逐渐成为趋势,甚至在很多场景下的复杂任务需要多个具有不同功能的机器人共同协作完成。实际的生产或配送任务往往具有时效性,多机器人系统完成复杂任务不仅需要规划机器人的无冲突最优轨迹,而且需要准时到达任务区域。为解决这类带时间窗的复杂任务多机器人系统路径规划问题,本文将复杂任务划分为专属任务、协同任务、公共任务,并从多机器人系统任务分配、路径规划、冲突避免及软件仿真四个方面展开研究,提出了更加符合实际需求的多机器人轨迹规划方法。本文具体内容如下:（1）构建多机器人实际运行环境的方法研究:首先将多机器人系统已知的静态环境离散化,其次结合多机器人在相邻区域之间的移动特点,利用赋时着色petri网的特点构建包含多类型机器人的系统模型,不仅能够清晰地表达环境信息而且适用于大多数环境。该方法不仅能满足复杂任务的时效性,而且为后续研究工作奠定了基础。（2）带时间窗的复杂任务多机器人系统全局协同路径规划方法研究:针对环境信息确定的多机器人系统,提出了一种混合整数线性规划方法,从全局规划层面求解不同类型机器人的路径规划问题。结合赋时着色petri网的结构特性,该方法将复杂任务转化为一系列的线性约束,能够合理地规划不同种类机器人完成复杂任务的距离最短路径。（3）带时间窗约束的复杂任务多机器人系统冲突消解策略研究:针对多个机器人在同一时刻同一区域可能发生的冲突的问题,提出了一种基于启发式算法的冲突消解策略。通过对冲突路径进行时间调度实现冲突消解,若不存在可调度路径,则进一步求解新的路径;若新的路径仍然存在冲突,则重复上述迭代步骤,直到找到新的无冲突路径。最终,本文通过实例验证了所提方法不仅能够在满足系统复杂任务和时间窗约束的前提下规划出最优路径,而且能够有效地避免冲突的发生。（4）基于Anylogic软件的路径仿真对比:为了进一步验证上述所提方法的有效性,本文利用虚拟仿真软件Anylogic对所得路径进行模拟仿真。通过对比冲突消解前后不同类型机器人到达任务点时间的理论计算数据和软件仿真数据之间的误差（0.06%和0.41%以内）,不同类型机器人行驶路径长度的理论计算数据和软件仿真数据之间的误差（0.19%和0.41%以内）,证明了所提的方法是可信的且计算上可行。综上所述,本文提出的路径规划方法有助于多个不同种类机器人完成全局复杂任务,并且准时高效。当机器人之间发生冲突时,本文所提策略能够进行有效避免,有助于保证实际生产或配送的安全性和可靠性。

关键词：时间窗多机器人系统赋时着色petri网复杂任务路径规划冲突消解

基于petri网列车群模型的列车运行冲突分析

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

铁道学报 2015年第3期37卷 1-7页

作者：王鹏玲马磊王青元冯晓云西南交通大学电气工程学院四川成都610031

列车运行冲突检测是铁路系统安全运营的重要保障。本文首先给出赋时着色petri网的形式化定义,定义变迁使能和触发规则及状态转移函数;基于赋时着色petri网,以库表示车站/闭塞分区,托肯表示列车,建立列车群模型,为冲突检测提供模型基础... 详细信息

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

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

基于图规约法的TCPN工作流网模型的验证方法

在线全文

学校读者我要写书评

暂无评论

系统仿真学报 2006年第10期18卷 2976-2979,2983页

作者：刘惠义吴继锋曾晓勤河海大学计算机及信息工程学院南京210098

针对经典petri网的一些固有缺陷,对其在颜色、时间上进行了扩展,并结合工作流网的概念,给出了基于TCPN(Time-Color-petriNet)的工作流网的定义。文中重点研究了采用图规约法对TCPN工作流网模型的验证,提出了流控制结构的图规约规则,并... 详细信息

针对经典petri网的一些固有缺陷,对其在颜色、时间上进行了扩展,并结合工作流网的概念,给出了基于TCPN(Time-Color-petriNet)的工作流网的定义。文中重点研究了采用图规约法对TCPN工作流网模型的验证,提出了流控制结构的图规约规则,并对这些规则进行了证明。在此基础上,运用这些规则对复杂工作流模型的算例进行逐步规约,验证了模型的合理性。

关键词：图规约赋时着色petri网工作流网模型验证