一种Petri网合成方法及其在系统建模中的应用

针对多个企业共用一个加工厂生产某种产品等这一类系统问题,提出了经由Petri网共享一种子网构成合成网的解决方案;用Petri网为系统建模,先为各企业租用加工厂生产某种产品的系统建立各自的Petri网模型,然后进行共享子网合成得到系统的整体Petri网模型。运用这种整体Petri网模型,可达到同步操作和节省资源的目的。给出了自由选择网(FC){非对称选择网(AC)}的共享子网合成网仍为自由选择网(FC){非对称选择网(AC)}的条件和共享子网合成Petri网保持结构活性的条件;结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统建模提供有利手段,具有宽广的应用前景。     

用CIMOSA和随机PETRI网对CIM系统进行行为建模

利用ＣＩＭＯＳＡ建模框架和建模语言，一个企业的集成模型能够被建立．用过程规则集能够对企业模型进行行为分析．为了进一步对ＣＩＭＯＳＡ企业模型的操作进行分析，本文提出了将ＣＩＭＯＳＡ企业模型转换为等价的随机Ｐｅｔｒｉ网模型的系统方法．这种方法是一种将“ｂｏｔ－ｔｏｍ－ｕｐ”和“ｔｏｐ－ｄｏｗｎ”建模方法混合使用Ｐｅｔｒｉ网综合技术．由这种方法得到的Ｐｅｔｒｉ网模型能够保持初始Ｐｅｔｒｉ网的某些定性结构性质     

混合系统Petri网模型的重叠分解

考虑用混合Petri网重叠分解和扩展的方法分析混合系统。首先给出混合Petri网的一些相关定义(如有界性、可达性和活性等),并对包容原理作了详细阐述。然后介绍混合Petri网重叠分解和扩展方法,并将重叠分解方法用于混和系统Petri网络型的拓扑结构,分析Petri网的拓扑结构,确定Petri网的重叠子网。最后用一个混和Petri网的例子来阐明重叠分解和扩展的过程。这为分析大规模的混合系统提供了一个切实可行的方法,有助于对复杂混合系统的分析与控制。     

可达性与状态方程可满足性等价的两个Petri网子类

可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。不过,存在某些Petri网子类,其可达性判定问题要相对简单,寻找这样的Petri网子类具有重要意义。为此,提出极小陷阱回路网与后向回路网的概念,并证明了初始标识下不含空极小回路的这两个Petri网子类,其可达性判定问题等价于状态方程的可满足性问题。     

基于广义微分Petri网的混合系统仿真方法

针对混合动态系统仿真的特点，建立其广义微分Petri网仿真模型，将混合系统的仿真统一于同一建模框架下，在此框架下，离散事件和连续状态变化对混合系统演化的推动作用均可以通过仿真模型中的变迁激发来完成，通过对广义微分Petri网的仿真过程进行分析，给出了基于该模型框架的仿真算法，并对仿真过程中出现的由资源共享引起冲突现象及其解决方案进行分析，最后讨论了仿真系统的死锁及其避免问题。     

Petri网共享T型子网合成活性分析

为解决子系统共享问题,提出了经由Petri网系统共享T-型子网构成共享子网合成网的解决方案。共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径。研究了共享T-型子网合成对参与合成的各网系统的活性的继承关系,给出了合成网保持活性的充分条件或充要条件。随后给出的有关制造系统设计和分析的实例,说明了该合成方法的有效性。本文的结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统的设计和验证具有重要的指导意义。     

论Petri网链路合成

提出了单链路的概念和链路合成网的概念;给出了自由选择网(FC),扩展自由选择网(EFC),强化非对称自由选择网(SAC),扩展强化非对称选择网(ESAC)和非对称选择网(AC)链路合成网为各自相应网的充分条件;提出了链路合成网保持结构活性的条件,按照条件对多个结构活的FC网,EFC网,SAC网,ESAC网,AC网以及一般的Petri网两两进行链路合成,最后可得到结构活的链路合成总网;链路合成的特色是合成条件容易判断,实用性强.研究结果可为Petri网系统合成的静态和动态性质的考察提供有效途径.     

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

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

基于Petri网的Web服务的创建与描述

为了更好的支持Web服务组合的Petri网系统的自动生成,提出了在发布Web服务的时候即建立该服务的PNML(Petri Net Markup Language)+OWL(Ontology Web Language)的方法,在建立Web服务领域本体的基础上,通过创建Web服务的Petri网模型,为Petri网中库所元素添加相应的语义标记,得到Web服务的类似OWL-S(Ontology Web Language for Services)的服务描述,不仅提高了对Web服务操作语义描述的能力,同时为Web服务组合的Petri网系统的自动生成奠定了基础。     

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

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

离散、连续和混合Petri网的一致性描述

本文引入的混合动态系统的Ｐｅｔｒｉ网模型,以建立混合控制系统的整体Ｐｅｔｒｉ网结构,和Ｐｅｔｒｉ网上附加离散、连续和混合动态时描述的一致性与继承性为目标．令牌及其标记概念上的具体化,是统一多种动态描述的基础．权为零有向弧的引入简化了监控结构．依赖混合动态网建立复杂控制系统的整体Ｐｅｔｒｉ网模型,为采用Ｐｅｔｒｉ网理论进行系统的分析、验证和设计提供了基础．     

基于HLA的Petri网分布式仿真中的数据过滤方法

在应用Petri网对大规模复杂系统建模和仿真时,Petri网模型可能出现组合爆炸的现象,从而占用大量的计算资源。考虑到Petri网的并发特性,可将Petri网模型分解为若干子网,进行并行或分布式仿真。在基于HLA的Petri网分布式仿真中,各联邦成员之间需要进行大量的数据交换,从而实现令牌(token)在子网之间的流动。因此,减少冗余数据的传输是提高分布式仿真性能的一种有效途径。对基于HLA的Petri网分布式仿真中的四种数据过滤方法进行了分析和研究,并通过仿真实验比较了它们去除冗余数据的有效性。     

基于Petri网的车辆交通实时调度研究

设计了一种交叉路口车辆交通实时调度策略,建立了交叉路口交通系统的受控着色PN模型,定义了单个方向上路口车辆的整体等待时间和平均等待时间,实时的根据两个方向上整体等待时间的差值和平均等待时间的差值实现红绿灯的切换。     

混合系统的混合Petri网描述

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

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

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

Petri网共享P型子网合成及其在系统设计中的应用

针对柔性制造系统的设计问题。提出了经由Petri网共享P-型子网构成合成网的解决方案；研究了共享P-型子网合成的动态性质保持问题。提出了合成网保持活性和有界性的一组充分条件或充要条件；主要动机是对[7]的P-组合网系统的有关结果进行推广，将共享库所合成直接椎广到共享P-型子网合成。对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径，对系统设计和分析具有重要的指导意义。     

多尺度条件下制造系统的监控器设计——极大代数方法

针对在时间多尺度条件下制造系统同时具有离散和连续事件,经典的极大代数方法已经不能描述连续事件问题,提出了一种基于混杂时间Petri网的建模方法,通过建立一个新型的双子代数系统,把混杂时间Petri网模型转化为极大代数模型.在极大代数模型基础上,借鉴自动机理论和格理论,通过定义保并映射和保交映射等概念,提出了一种监控器设计方法.这样我们可以继续在极大代数框架下研究时间多尺度条件下制造系统的建模和控制.一个简单的示例说明了极大代数方法的有效性.     

离散事件系统任务处理瓶颈分析

Ｐｅｔｒｉ网是离散事件系统建模与分析的有效工具之一．本文介绍了随机Ｐｅｔｒｉ网瓶颈的概念,给出了一般随机Ｐｅｔｒｉ网最大处理能力的数学模型,研究了具有多路输入源之ＳＰＮ的瓶颈与处理能力分析的快速算法,讨论了在处理能力等价意义下将一类结构有决策且有环的ＳＰＮ变换成结构无决策且无环的ＳＰＮ的实现方法．最后给出了一个防空指挥控制系统信息处理瓶颈与处理能力分析的实例．     

基于着色Petri网的无人机侦察战术规划

无人机(unmanned aerial vehicle,UAV)战术规划问题是UAV作战的核心,本文以UAV战术规划中的资源分配和目标推理为研究对象,针对传统Petri网不能准确模拟战术规划中资源及任务正负效应建模问题,在阐述了利用传统Petri网将总体任务按计划及目标顺序进行层次分解后,采用着色Petri网对网间结构...     

一种基于单亲遗传算法的petri网发射路径求解算法

给出了一种基于单亲遗传算法的petri网发射路径求解算法，提出了裂解和聚合两种新的单亲遗传算法算子。算法通过对染色体中的染色体片段进行裂解和聚合等操作，实现了发射序列的快速求解。仿真结果表明，本算法能够以较大的收敛概率快速地收敛，最终得到多个发射序列。进一步的研究表明，适当的选取样本空间的大小可以使本算法更加快速高效。