基于petri网的装备维修流程通用模型研究

简要介绍了多层次Petri网模型.在论述了Petri网技术优点的基础上,提出采用层次化的Petri网技术来建立装备系统维修保障流程仿真模型,并举例详述了该模型的建立.     

UML2OPN 的建模方法及其在通信装备维修保障系统中的应用

探讨了一种基于UML模型(Unified Modeling Language)与面向对象Petri网(Object-oriented Petri Net)的系统建模应用方法,并给出了UML模型到面向对象Petri网模型的映射算法.在此基础上,建立了通信装备维修保障系统的UML模型和所映射的面向对象Petri网模型,并对其模型进行了较为深入的分析研究,从而验证这种方法在通信装备维修保障系统建模应用中的实效性、科学性.     

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

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

基于图论的装备维修仿真模型

文章从图论的角度讨论了装备维修过程中采用的维修统筹图模型 ,并进行了改进 ,以便该模型能够反映出维修过程资源对维修的影响 ,另外 ,该模型还可以用于辅助设备购置决策 .     

基于嵌入Petri网的GERTS维修保障流程仿真模型研究

在分析维修保障流程建模与仿真重要性的基础上,分析了GERTS模型和Petri网模型在流程仿真中的应用特点,提出了基于嵌入Petri资源约束网的GERTS仿真模型,并给出了具体的仿真算法。该模型通过在GERTS模型中嵌入Petri资源控制网,解决了GERTS难以对具有较强资源依赖性的过程很好描述的缺陷,可用于复杂流程的仿真建模分析。最后,文章针对某型生产设备的维修保障流程进行了实例分析。     

基于随机Petri网的装备维修保障系统性能分析

考虑维修能力不足和备件短缺等因素, 定义了装备维修保障过程的广义排队时间、广义维修服务时间等的系统性能参数. 建立了基于随机Petri网的装备维修排队问题的形式化描述模型, 研究了模型的简化解析分析和仿真分析方法. 结合实例分析了改进系统性能的途径, 验证了解析方法的有效性. 研究表明, 提高维修小组能力和备件满足率是提高维修保障系统性能的有效途径.     

基于带禁止弧的CTPN的维修资源管理模型研究

根据维修资源管理方式,结合时间有色Petri网理论,提出了带禁止弧的时间有色Petri网,并利用带禁止弧的时间有色Petri网建立了维修资源管理模型,结合CPN Tools进行了仿真,仿真结果表明带禁止弧的时间有色Petri网能得到更好模拟实际的资源管理过程,并能得到维修过程的总体情况,资源的利用率等参数.     

一种基于最大保障时间的战时装备维修任务调度

针对目前装备优化保障研究中存在的约束条件过于简单,评价指标过于单一,不能突出我军装备维修任务调度的特点等问题,分析了战时维修任务调度的特点,建立了基于最大保障时间的维修任务静态调度模型,并给出了相应的模型求解方法。利用本方法在满足作战单元最大保障时间前提下,可使得装备维修效益最大。有效地解决了战时维修任务调度问题。     

维修保障流程的通用仿真模型研究

在分析维修保障流程建模与仿真重要性的基础上，分析了PERT模型和Petri网模型在流程仿真中的应用特点，结合PERT和Petri网技术，提出了基于多层次PERT-Petri网的通用仿真模型，并给出了该模型的建模方法和仿真算法，文章最后给出了一个例子。     

基于HTCPN的飞机维修保障资源配置方法

针对飞机基层级维修保障资源配置问题,提出了一种基于分层赋时着色Petri网(hierarchical timed colored Petri net, HTCPN)的维修保障资源配置方法。首先,根据飞机基层级维修保障工作内容及流程,运用CPN Tools软件,构建飞机维修保障全过程的HTCPN仿真模型,设计仿真时钟折算方法。其次,提出维修保障资源配置规则,建立基于飞机出动架次率的维修保障资源配置模型。最后,算例分析结果表明所提方法能够迅速、准确地完成飞机基层级维修保障资源配置。所提方法为科学制定飞机基层级维修保障配置方案提供了技术支撑,具有一定的工程应用价值。     

基于面向对象着色Petri网FMS仿真软件

基于面向对象着色Ｐｅｔｒｉ网模型,利用计算机仿真技术,开发了ＦＭＳ仿真软件。本文着重介绍软件的五大功能模块及其实现,并给出了仿真实例及结果     

基于赋色Petri网的离散事件系统矩阵模型与仿真

一种新的离散事件系统（DES）矩阵状态方程和Petri网的标识转移方程相结合的矩阵模型给出了完整的DES动态描述。本文介绍了一种可动态修正Petri网关联矩阵系数的矩阵模型仿真框架,解决了路径选择和调度决策问题,使这种模型可以推广到用基于赋色Petri网描述的DES仿真。     

基于代价时间Petri网的合同网模型研究

提出一种扩展了价格信息的时间Petri网--代价时间Petri网,并用代价时间Petri网来模拟合同网协商过程,建立虚拟企业的合同加工模型.在合同网协议框架内,利用代价时间Petri网为合同网协议的招标、投标和中标过程进行建模分析,给出了招标要求和Agent在投标和评标决策过程的代价时间Petri网模型,最后利用该模型对盟员企业内部制造过程以及相互之间的协作关系进行了形式化分析和验证.     

工程计划的模糊时间Petri网(FTPN)模型

针对工程计划中工序作业时间的不确定性 ,传统网络计划方法缺乏数学表达能力的问题 ,提出了用模糊时间 Petri网 (FTPN)表达工程计划的新模型 .在讨论了工序完工隶属函数之后 ,给出了 FTPN的形式化描述及触发规则 ,依据工程计划的 FTPN建模规则 ,把求取关键路径转化为一个基于代数方程求取 FTPN中特定标识的问题 .算例表明 ,文中所提出的模型既能正确且更加直观的表达工程计划问题 ,又能形式化地描述并计算工程计划问题.     

基于着色petri网的电子商务跨组织工作流建模与分析

在现代电子商务中,企业常常跨组织进行各种商务活动。利用着色跨组织petri网对电子商务工作流进行了建模与分析。给出了电子商务着色跨组织工作流网健壮性的概念,并利用可达标识图讨论了电子商务工作流网的健壮性。     

基于合同网和petri网的多预警机情报协同模型

随着作战环境的日益复杂,多预警机进行情报协同成为必然趋势,而如何对参与情报协同的各预警机进行实时的动态任务分配以使系统整体效能最大化成为亟待解决的课题。基于此,首先,根据部队指挥体制具有层次结构的特点,结合集中式与分布式任务分配的优点,设计了混合式情报协同体系结构,并对系统的相关元素进行了建模;然后,提出用合同网解决各预警机间任务的动态协调问题,用petri网模型去捕获合同网协议中管理者和投标者间的相互关系:招标者需求petri网可以计算每个子任务的预期时间,合同评估petri网可以评估合同的可行性及最优性,合同授予petri网可以自动将最优合同授予相应的投标者;最后,通过仿真验证了模型的有效性。     

基于有色赋时Petri网的半导体生产线建模技术研究

在深入了解半导体制造过程的基础上,为了有效分析半导体生产线调度与控制性能,提出了有色赋时Petri网的半导体生产线建模方法。该模型,根据生产线所存在主要调度子问题及其之间的相互关系,将半导体生产线划分为投料控制模块、路径调度模块和工件调度模块,这样可以有效降低模型的复杂性和提高模型的可重用性。建立以一个拥有3个工作中心、6台设备的半导体生产线Petri网模型,并对模型进行分析。最后指出了下一步的工作目标。     

基于时延Petri网的项目管理方法

随着项目的复杂度和成本的不断增多,对项目管理有效性的要求也越来越高。传统的基于PERT/CPM方法在离线的项目管理中取得了较大的成功,但是由于它们忽略了实际项目中资源约束和外部突发事件的影响,不可能实时动态地监控项目生产的进行。本文提出一种基于时延Petri网的项目管理方法,克服了上述的不足。方法中参考Petri网模型考虑到生产资源约束的影响,监控Petri网模型实时监视突发事件的发生,从而项目管理者可以及时地了解项目的进展,并根据实际生产情况对现有的项目计划调度任务的进行动态调整。     

Petri网的分层递归模型

Petri网的分层模型是应用Petri网对复杂系统建模时的一种常用手段.在传统的Petri网分层模型中,是不考虑递归的.这样的分层模型虽然为系统的建模和分析带来方便,但并增强模拟能力.在分层模型中引入递归的概念,可以使系统的模拟能力增强.可以证明,任意一个上下文无关语言都可以被一个分层递归Petri网识别.