组合优化中的Petri网仿真算法

组合优化中,最长路、最短路和最大流问题是重要而又基本的问题。本文提出一种求最短有向路的新方法——Petri网图仿真算法。该方法是在一般Petri网的基础上,对网元素进行附加描述,同时,引入了“运动标记”的概念和定义新的“发生”规则,再利用Petri网的马尔科夫性和并发性,以及它的动态模拟功能,在Petri网图仿真器上,进行(对象)系统的网图仿真运行及数值处理,求得最长路径,最短路径及其路长,最小割及其最大流。由于该算法便于利用计算机的并行算法可以提高计算速度,并能利用最优性原理减少计算量。而且,还可提供系统运行的动态显示和结果的屏幕显示及图表输出。因此,它是一种直观而又方便的方法。     

研究计划管理系统的Petri网论法

本文以图的形式给出Petri网的定义;通过导入“时间Place”和“象征”的附加描述,使Petri网成为扩充的Petri网(EPN);用EPN模拟计划管理系统,用EPN仿真器构画计划管理系统的图模型、求系统的时间参数、进行系统的优化。     

求解网络最小流问题的图单纯形算法

堵塞是以人为主体的运输网络在随机流动情况下经常发生的一种现象。所谓网络最小流是指一个运输网络发生最严重堵塞情况下的最大流量，它是设计运输网络，特别是紧急疏散网络的一个重要参数。本文在网络堵塞流研究的基础上，根据网络最小流是饱和流的特点，从组合优化角度定义了网络最小流问题，并提出了求解网络最小流的图单纯形算法，文中详细介绍了实施这种图单纯形算法的基本理论和步骤，并用实例进行了说明。     

基于Petri网和UML的工作流模型设计

介绍了工作流的概念及发展过程,讨论工作流建模的基本方法。重点分析Petri网和UM L在工作流模型设计过程中的应用,结合Petri网语义定义工具和图形化界面以及UM L的面向对象特点,形成基于Petri网和UM L的工作流建模方法。工作流模型的语义定义采用Petri网表达,给出工作流网的形式化描述。工作流系统的设计模型采用UM L进行定义,对于业务逻辑、执行过程、数据结构分别采用用户实例图、顺序图、类图进行描述。在工作流的实现上,采用软组件实现工作流服务组件的分布布置,并通过接口定义语言对功能组件中的服务进行发布。最后给出工作流的发展趋势,并计划开展工作流仿真和优化方面的研究。     

随机高级Petri网在空中交通管理中的应用

首先给出了Ｐｅｔｒｉ网，高级Ｐｅｔｒｉ网和随机高级Ｐｅｔｒｉ网的定义。然后，在介绍空中交通管理系统中的机场终端区的基础上，为机场终端区建立了Ｐｅｔｒｉ网图模型。最后，借助Ｐｅｔｒｉ网仿真器，利用机场终端区的Ｐｅｔｒｉ网图模型，进行机场终端区管理系统的仿真优化分析。     

关于运输网络堵塞流动的研究——分支定界法在求解网络最小流上的应用（Ⅲ）

堵塞是以人为主体在运输网络中经常发生的一种现象。本文中所定义的网络最小流是指在最严重堵塞的情况下通过网络的最大流量，是设计和运行一个运输网络，特别是一个紧急疏散网络的重要参数。本文在堵塞流理论研究的基础上，提出了一种用分支定界思想来求解网络最小流问题的方法，并用实例说明了该算法过程及其应用领域     

基于Petri网的故障树分析方法

故障树是事件间的一种布尔逻辑关系模型，基于故障树的诊断方法的广泛应用由于实际故障树分析过程NP困难问题而受到妨碍。Petri网作为一种特殊的有向网，它能反映系统的状态变化和事件发展，尤其适合于表达故障的传播关系。本文因此提出了两种基于Petri网的改进方法，与下行法相比，用该方法寻找最小割集和最小路集能有效地节省计算时间，提高推理速度和效率，并且其算法便于计算机实现。     

基于方向匹配的装配路径规划算法

描述了装配规划中的最短无碰装配路径的自动生成问题。首先由零件在装配体中的几何约束生成局部拆卸方向,在考虑局部拆卸方向的前提下,运用位姿空间方法推导当前装配零件在固定姿态下由装配起点到装配最终位置的最短无碰路径。文中用具有位置分量和方向分量的特征元素描述物体,用方向分量相互匹配的特征元素对,即所谓方向匹配法计算三维离散物体的C-空间障碍。搜索空间用具有动态密度的栅格表达,以改进的具有目标可见性测试和变步长的A算法搜索最短无碰装配路径。该算法可处理复杂结构的装配体,且具有较高的计算效率     

基于微分Petri网的民机航迹演化通用模型构建

为实现对未来大流量、高密度、小间隔条件下的空域实施管理,在战略航迹规划阶段,提出了一种模块化的战略航迹演化通用模型。建立了不同航段之间航空器状态动态切换的一类宏观Petri网演化模型,以及同一航段内航空器速度和高度两种特征参数值连续变化的3类微观Petri网演化模型。根据航空器特征参数值转化的4种不同形式并基于航空器全飞行剖面的混杂运行特性,运用微分Petri网理论,定义了航空器的4种演化模式,通过组合各种演化模式得到了3种航空器基本演化模型。在满足航空器性能约束的前提下,通过设定10个航段及15个高度和速度预设值,得到了全飞行剖面下各特征参数的演化图。结果表明,所设计的演化模型增强了航迹预测模型的通用性,能够反映航空器在水平剖面和垂直剖面内的状态变化。     

基于最小时间的航线选择问题

针对空中航线选择优化问题,分析了空中交通流的特点。结合航班在航线上等待点空中盘旋的情况,考虑从求解空中飞行时间最短的角度,建立了航线网络中航班最小费用流问题的数学模型,给出了求解这种最小费用流的算法。通过航线网络的简单算例,求出了最佳航线以及相应航线流量,说明了模型和算法的具体应用。     

基于Petri网的空中交通管制辅助决策系统

空中交通管制系统是生产实际中的一种典型的离散事件动态系统（Ｄｉｓｃｒｅｔｅ ｅｖｅｎｔ ｄｙｎａｍｉｃｓｙｓｔｅｍ，ＤＥＤＳ），而Ｐｅｔｒｉ网理论是研究ＤＥＤＳ的有力工具之一。为了描述空中交通管制系统受到外部控制的交互机制及层次结构，文中引入Ｐｅｔｒｉ网概念的一类扩充－－开放Ｐｅｔｒｉ网的概念，并用开放Ｐｅｔｒｉ网工中交通管制辅助决策系统进行建模与分析，阐述了空中交通管制辅助决策系统的开放Ｐｅｔｒ     

基于模糊Petri网的设备故障诊断新方法研究

专家系统用于计算机数控（CNC）设备的故障诊断日益受到人们的重视。为了能够解决故障现象的模糊性，本文将模糊理论与Petri网结合，建立了模糊Petri网（FPN）理论体系。引出了FPN转移被激发规则，确定了FPN的动态运行过程。应用FPN能够清楚地表达与或树、产生式规则等知识表达形式。基于FPN理论，建立了CNC设备故障诊断专家系统（CNCM-FDES）。该系统由知识库系统、知识库管理系统、诊断推理机制、诊断过程解释机制、故障评价、故障决策与入机界面组成。文中分别介绍了该系统的各个组成部分。     

用Petri网仿真方法实现机械加工系统的规划设计

为了保证所设计的机械制造系统(MMS)能够获得最大的经济效益,必须对系统进行合理的规划设计。本文首先引入MMS规则设计中的几点原则,以及计算机仿真涉及到的生产调度问题及其决策规则,论述各生产调度规则在Petri网模型中的实现方法。并对Petri网运行中的冲突问题引入了解决冲突的规则。其次,基于包括工件流和刀具流的MMS的Petri网模型,根据最小事件时间推进原理,实现Petri网模型的计算机动态仿真,即实现MMS的计算机动态仿真。最后,将仿真程序应用于仿真实例,从而有效地评价MMS的规划设计方案。     

RESEARCH ON THE LOCAL BLOCKAGE OF A TRANSPORTATION NETWORK AND ITS MINIMUM FLOW CAPACITY

ＲＥＳＥＡＲＣＨＯＮＴＨＥＬＯＣＡＬＢＬＯＣＫＡＧＥＯＦＡＴＲＡＮＳＰＯＲＴＡＴＩＯＮＮＥＴＷＯＲＫＡＮＤＩＴＳＭＩＮＩＭＵＭＦＬＯＷＣＡＰＡＣＩＴＹＮｉｎｇＸｕａｎｘｉ（ＩｎｄｕｓｔｒｙａｎｄＢｕｓｉｎｅｓｓＣｏｌｌｅｇｅ，ＮＵＡＡ２９ＹｕｄａｏＳ...     

一种面向对象的Petri网

柔性制造系统属于离散事件动态系统，具有实时、并发、异步等特性，由于Ｐｅｔｒｉ网模型的图形表述和数学描述，使它既可以采用数学分析，又可以通过图形形象地表述出离散动态系统，故广泛应用于制造过程动态行为建模与分析。而面向对象建模与设计是一种围绕真实世界的概念来组织模型的全新的思考问题方式，面向对象的模型能帮助对问题的理解，有助于同领域专家通讯交流。本文在Ｐｅｔｒｉ网基础上，引入面向对象技术，提出了一种面向对象Ｐｅｔｒｉ网（ＯＰＮ）模型，并以企业中的一项生产活动——二次电源生产过程为实例，建立了描述这一活动系统的完整的ＯＰＮ模型，真实地反映了系统的动态特性，从而为制造过程建模和分析提供了一个更为有效的工具