基于混合ANN-Petri网的过程控制建模

针对混有离散事件的连续化工过程,提出了基于混合ANN-Petri网的控制建模方法.采用神经网络与Petri网的有效结合,较好地描述了化工过程连续和离散的混杂特性,并以某化工蒸发过程为例,进行了详细的讨论和分析,建立了混杂过程的控制模型,并且给出了仿真结果.     

基于高级对象Petri网的工作流过程建模研究

通过对当前工作流过程建模方法的总结,提出这些方法的不足之处,展望了过程建模的发展动向.在基本的有色 Petri 网系统定义的基础上,引入面向对象技术和时间映射机制,提出了一种基于高级对象Petri 网的建模方法,以提高模型的可重用性,加强对动态流程的描述能力,降低建模过程的复杂度,解决临界资源的共享问题.通过一个具体实例阐述了如何建立高级对象 Petri 网模型,并通过活性分析算法,验证模型对流程描述的正确性和有效性.     

基于FTCPN的工作流模型简化规则与线性推理研究

分布式协同工作流系统的建模和时间性能计算是工作流的一个重要研究内容.针对传统的Petri网不能对工作流系统的不同事件和事件的时间性能进行分析和优化的问题,给出了模糊时间着色Petri网(Fuzzy-timing colored Petri Net, FTCPN)的形式化定义,并给出了基于FTCPN的工作流网四种基本组件模型的简化规则及其线性推理.最后,以汽车车身的协同概念设计流程为例,对提出的方法进行了应用和验证.研究表明:模糊时间着色Petri网能全面描述复杂工作流系统的不确定性时间信息和不同事例的工作状态,对丰富分布式工作流系统的建模理论具有一定的参考价值.     

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

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

基于工序排队的RCC坝施工Petri网耦合模型仿真

在分析了碾压混凝土施工系统的特点基础上,针对碾压混凝土施工系统的复杂和动态离散特性,建立碾压混凝土施工工序排队网络和Petri网模型,将排队模型嵌入Petri网,为Petri网模型提供有效Token和时间约束,耦合生成施工过程的Petri网模型.该建模方法有效地克服了单一排队模型表达能力不足和单一Petri网仿真建模复杂性.通过工程实例验证了该建模方法大大简化Petri网建模过程,提高Petri网针对性和分析效率.     

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

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

现场通信系统的仿真建模及其性能评价方法

由于Petri网适于描述系统冲突和竞争，故在较多场合中引入了Petri网对通信协议及系统进行建模，但目前采用Petri网对现场通信系统建模和评价还很少，通过Petri网协议描述实现现场通信和评价系统性能双重功能更无先例，本文在时间Petri网的基础上加以拓展，提出了现场通信协议的类时间Petri网描述方法，针对多协议现场通信控制装置FCCD，从理论上建立了FCCD系统的类时间Petri网模型，实现了多协议智能设备的互连及其系统的性能仿真评价。     

热轧生产线的建模与分析

用扩展时间事件图与极大代数方法相结合对一类批量生产的制造系统建立了模型 ,并在加工时间和存储器数量固定的条件下 ,用这模型对系统生产周期进行了分析 ,从而得到了机器的最大利用率.     

基于IDEF0模型的Petri网间接建模方法研究

通过对IDEF0和Petri网两种建模方法分析与对比,表明基于Petri网建模可以解决IDEF0方法在模型的动态性、完备性和方法连贯性方面存在的问题;提出IDEF0模型到Petri网模型的转换思路和基本转换方法,以一个信息管理模块为例实现模型转换,在此基础上提出了改进策略.研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径.     

离散事件系统的面向对象实时时态着色Petri网模型

提出了由记时面向对象着色Petri网为被控对象建模,用实时时态逻辑进行系统期望行为规范的实时离散事件系统面向对象实时时态着色Petri网模型.     

大坝混凝土施工过程赋时Petri网络模拟方法

赋时Petri网络模拟方法是通过应用赋时Petri网的基本理论对施工系统进行建模，描述模型中资源等施工参数随施工进度的变化，其网络模型能够较好地描述实际施工系统的动态变化情况。系统分析大坝混凝土施工过程及其程序，建立了基于赋时Petri网络的施工过程模拟模型以及可行施工方案的多目标决策模型。实例分析说明了建模方法、仿真模型和决策模型是有效的、可行的。     

混合系统的混合Petri网描述

混合Ｐｅｔｒｉ网可很好地描述由连续动态和离散动态相互混合相互作用而成的混合系统．本文重点讨论了用混合Ｐｅｔｒｉ网工具描述混合系统的方法,并对混合系统的运行协调性和最优控制问题进行了初步探讨．     

基于时间Petri网的实时多任务调度方法研究

Petri网是一种模拟和分析的系统工具，能有效地描述并发与并行、同步与异步问题。对时间Petri网在水下航行器制导系统仿真多任务调度中的应用进行了探索和研究。首先介绍了时间Petri网的基本原理，并以水下航行器制导仿真系统为例，将水下航行器制导仿真多任务系统划分为自导子任务、控制子任务、程序弹道子任务、目标运动子任务和指挥导引子任务，在建立和分析时间Petri网模型的基础上，给出资源的束双处理器条件下的最佳调度方案。仿真结果表明，通过该方法完成的多任务调度，能使水下航行器制导仿真系统多任务协调地在双处理器计算机环境下运行，满足水下航行器制导仿真系统分析研究的需求。     

一种基于同步合成Petri网的FMS建模方法

提出了一种利用 Petri网为 FMS建模的方法 ,通过对 FMS加工过程的分析 ,将系统物理对象划分为工件类和资源类 ,给出了对象子网和对象子网同步合成的概念 .为工件类和资源类分别建立了对象子网 ,通过对象子网的同步合成得到系统的 Petri网模型.     

基于广义模糊Petri网的陶瓷生产过程能量碳流模型

针对陶瓷企业低碳制造过程建模的需求, 依据模糊Petri网的基本原理, 抓住其运行状态的连续性及离散状态对连续过程的影响, 将其用于陶瓷企业低碳制造过程建模这一领域. 首先对陶瓷企业能量碳流模型进行分析, 然后给出模型的形式化定义及规则说明, 建立了基于广义模糊Petri网的陶瓷生产过程能量碳流模型, 最后以典型的烧成系统为例加以说明模型的运用, 对整个过程的能量碳流进行了动态描述, 为企业走低碳制造奠定一定的理论基础.     

工程问题的时序Petri网的建模与求解

本文详细阐述了系统工程问题的时序Petri网建模的一般方法, 并对这种类型时序Petri网的性质进行了简述, 同时给出了这种时序Petri网利用极大代数求解的一般方法。     

网格计算资源调度方案及其Petri网建模与分析

通过对现有网格计算资源调度方案的分析,提出了网格计算资源的三层调度方案,该方案与已有的方案相比,更能体现网格资源的特点。利用Petri网这一具有描述并发、异步、动态等事件能力的图形与数学工具,对所提出的调度方案进行了模拟与分析。为不同层次的调度者构造了不同的扩展有色时延Petri网模型,并利用Petri网的共享合成技术得到整个系统的Petri网模型。同时给出了资源调度所对应的Petri网的可达任务图的概念,利用可达任务图,分析了诸如吞吐量、负载平衡、调度时间等资源调度的一些重要特性。     

军用飞机修理线建模与修理能力分析

为准确掌握军用飞机修理线的实力状况,有效提升大修能力,结合Petri网建模仿真方法,开展修理线的能力分析。根据军用飞机修理线特点,建立了修理线层次结构模型。针对飞机大修过程的离散动态特性,采用分层赋时Petri网进行刻画,并根据大修实际制定模型运行规则。设定了修理能力分析指标,并通过仿真,从不同层面进行修理线的能力统计分析,寻找修理能力制约点和提升点。通过案例验证了所提模型与方法的可行有效性,对军用飞机修理线能力建设具有现实意义。     

连续/离散混合型制造系统的生产过程虚拟仿真建模

离散事件仿真建模被广泛应用于制造系统的设计及运行控制,但是很多制造系统兼有离散系统和连续系统的特点。提出一种将离散事件与连续系统结合起来的仿真建模方法,以支持动态展现这类制造系统的生产过程。该方法的主要思想是,主机内部的机构运动主要采用连续系统进行仿真建模,而主机之间的加工顺序则利用离散系统来构建其仿真模型,然后由统一的仿真管理器管理。论文详细描述了虚拟仿真引擎中的仿真时钟推动机制,并用这一方法建立了面向啤酒灌装生产线生产过程的虚拟仿真模型,说明了这一方法的可行性。     

混合控制系统的广义Pet ri 网建模与设计

提出一类混合系统的Ｐｅｔｒｉ网模型,强调连续与离散动态在同一层次的直接交互,连续与离散动态的分布式并发演化。给出基于混合Ｐｅｔｒｉ网的混合控制器设计方法。