基于有色Petri网建模的AGVS优化调度规则研究

针对烟草行业卷接包生产车间的自动化物流系统，提出了基于有色Petri网建模的方法，设计出了一个有铲的AGVS优化调度规则专家系统，有效地提高了物流系统的生产效率。     

离散自动制造系统Petri网的一种设计方法

文章力图以通信顺序进程为基础设计一种自动制造系统的规格说明语言，采用该语言所形成的描述语言可以自动转化为系统的Ｐｅｔｒｉ网模型．文章为复杂离散自动制造系统Ｐｅｔｒｉ网形式化设计理论的研究，开辟了一条新途径．     

一类自动制造系统Petri网的设计方法

根据自动制造系统工件工艺规程的形式化表示及通信顺序进程，提出了自动加工系统Ｐｅｔｒｉ网的一种综合方法，为研究复杂系统Ｐｅｔｒｉ网的设计理论提供了很好的基础。     

电力系统故障诊断的Petri网方法

以元件、保护和断路器为目标来构造关联数据库,利用矩阵方法来表示Petri网电力系统故障诊断模型,通过在一模型实例中的应用,证实了该方法快速、通用的特点,同时也指出了该方法的不足之处。     

离散制造智能工厂场景的AGV路径规划方法

自动导引车(Automated Guided Vehicle, AGV)的自主路径规划是离散制造智能工厂中物流系统的重要组成部分, AGV可以大大提高离散智能制造的智能化和自动化能力, 而传统的AGV导航方式自由度较低。本文研究面向离散制造智能工厂场景下的AGV自主路径规划问题, 应用深度强化学习方法提高自主路径规划的自由度。设计了一种多模态环境信息感知的神经网络结构, 并将AGV在全局障碍下的路径规划预训练策略引入到复杂的离散制造智能工厂场景下的路径规划, 实现了AGV从环境感知到动作决策的端到端路径规划。实验结果表明, 采用本文提出算法的AGV能够在复杂的离散制造智能工厂环境进行自主规划路径, 并具有较高的成功率和避障能力。     

基于Petri网的乐音体系建模

把Petri网理论和音乐理论结合起来,提出了一个较完整的用自控网系统和时间Petri网建立的乐音体系模型.该模型借助Petri网有关理论成果,可以形式化的分析乐曲,便于计算机处理.其实质是在五线谱的音符之间加入变迁元素,使其更反映乐曲的本质,并且起到同步的作用.     

Petri网的动态行为研究方法分析

Petri网是适应于形式化软件开发的很好的描述工具.Petri网理论研究分为建模与验证两个方面,结构技术是Petri网的验证技术的基本方法之一,其主要核心是基于死锁,基于这一方法的研究已取得一些很好的结果,但死锁的个数足网规模的指数阶的.这就意味着目前有关网的理论研究结果与实用的验证方法有着一条难于逾越的鸿沟.本文对Petri网的动态行为研究方法给出了一个较为详尽的概述.     

基于Petri网的Web服务组合优化方法研究

在实际应用中,需要将各种W eb服务进行组合和集成以创建动态W eb应用。为了使服务组合性能最优,提出一种W eb服务组合优化算法,该算法在满足用户需求的同时,根据已有的W eb服务,自动获取性能最优的服务组合方案。利用Petri网进行建模,采用可达图进行分析,通过提取网中变迁之间以及变迁序列之间的各种并发关系,得到费用最廉的组合结构。     

基于Petri网的安全工作流管理系统模型

访问控制是信息系统的一个重要安全保护机制,主体只有在被授权时才能对客体进行访问。应用有色时间Petri网对安全工作流模型进行了描述,并结合读/写安全策略对动态授权机制进行了应用分析。应用基于有色时间Petri网的工作流模型可以降低数据误用的危险性。     

着色Petri网在信任协商中的应用研究

自动信任协商是一种在陌生者之间通过双方不断迭代披露数字信任证书,从而建立信任的一种方法.提出了一个基于着色Petri网的自动信任协商模型,给出了着色协商Petri网的定义及关系范式映射到着色Petri网的方法,在此基础上阐述了模型的构建方法,给出一个建模实例并进行分析.     

Petri网融合蚁群算法的柔性装配系统调度

为解决柔性装配系统的调度问题,采用分层时延Petri网模型与蚁群优化算法相结合,将柔性装配系统分解成诸多个装配体,每个装配体再分解成多个柔性装配单元,对装配单元分别建模并用蚁群算法对装配方案遍历优化,最后确定装配系统的时延Petri网模型.该方法融合了Petri网和蚁群算法各自的优点,较好地解决了柔性装配系统中的装配建模和装配任务的分配优化问题.实验证明该研究可行有效.     

自动制造系统规格说明语言的Petri网语义设计

研究了自动制造系统中离散事件的形式化表示方法。依助通信顺序进程设计了制造系统的规格说明语言，在给出事件的Ｐｅｔｒｉ网表示的基础上，讨论了系统语言及Ｐｅｔｒｉ网控制器的结构，可以研究具有活性、安全或有界性以及可逆性的Ｐｅｔｒｉ网控制器初始标识的设计算法。     

港口自动导引小车的优化调度研究

主要研究港口AGV的路径布置及其优化、AGV的合理配置、AGV的调度和AGV的避碰问题．提出采用基于遗传算法的面向对象Petri网建立AGV的数学模型，对AGV实现优化调度．同时提出一个避免AGV碰撞的智能策略．     

FMS的一种实时控制Petri网模型及应用

提出了一种对ＦＭＳ（ＦｌｅｘｉｂｌｅＭａｎｕｆａｃｔｕｒｉｎｇＳｙｓｔｅｍ——柔性制造系统）实时控制进行建模的Ｐｅｔｒｉ网工具——实时控制Ｐｅｔｒｉ网模型．该模型是通过对变迁和位置引入第二属性，即输出控制命令和传感器信息来实现的．最后用一个ＦＭＳ实例说明了建模过程．该模型可以很方便地转换为系统的控制代码或实时控制软件     

A reliable routing algorithm based on fuzzy Petri net in mobile ad hoc networks

1INTRODUCTION Mobileadhocnetworks(MANET)[1]havebeenreceivedalotofattentionduringthepastfewyearsduetotherapidexpansionofmobiledevicesandthegainedpopularityinmobilecommunica tion.Amobileadhocnetworkisaspecialcaseofmobilenetworks,withoutanyfixedlinkstosup porteachnodeandtoprovideconnectivitytocom municatewitheachother.Eachnodeactsasbothhostandrouteratatimeandperformsalltherout ingsandstatemaintenanceoperations.Thenet worktopologyofamobileadhocnetworkchangesfrequentlyandunpredictablyduetoth…     

Petri网仿真语言的设计与研究

阐述了研究Petri网仿真语言的目的和意义，并简要地描述了Petri网仿真语言的设计及其相关问题，如性能分析、环境与工具的构造等，本文的研究对Petri网的工程应用具有基础性的重要作用。     

利用多源信息的配电系统故障诊断Petri网模型

与输电系统相比,配电系统覆盖面更广,包含的元件/设备更多,发生故障的机会也更大。另一方面,配电系统中配置的保护设备不像输电系统那么先进和全面,故障后的警报信息少且未必完整,故障诊断的难度因而未必比输电系统小。这样,在配电系统故障诊断中,充分利用来自多个渠道的信息就更为重要。在此背景下,提出了一种基于Petri网的多源信息配电系统故障诊断模型,可以容纳来自能量管理系统(EMS)、调度管理系统(OMS)、生产管理系统(PMS)、保护信息系统等多方面的信息,并根据一定规则将获取的信息转换成逻辑判据。针对配电系统的不同元件,提出了基于Petri网的故障诊断模型,分析了不同的库所置信度和变迁权重对故障诊断结果的影响;讨论了保护设备误动/拒动、信息漏报/误报对故障诊断的影响并归纳了可能的故障类型,用于评估故障诊断模型的可靠性和容错性。算例测试结果表明了所提出的Petri网故障诊断模型的可行性。     

城市交通网络的混杂Petri网建模

针对城市交通网络中的动态车流具有连续时间特性而动态信号灯具有离散事件特性的情况, 采用混杂Petri网建立了一个四相位信号交叉口模型，该模型包含了城市交通网络中的连续车流动态和离散信号灯动态.在此基础上分析了交叉口各个方向的输入、输出车流动态，并与四相位信号交叉口的物理模型相对比，结果表明该混杂Petri网模型能够较好地描述城市交通网络的混杂特性.仿真结果表明了混杂Petri网模型的有效性.     

柔性制造系统活性监督控制器的简化设计

基于Petri网,研究了一类柔性制造系统中由可被清空的信标引发死锁的一种预防策略．将Petri网中可被清空的信标分为基本信标和从属信标,给每个基本信标添加一个控制库所．通过调节信标的控制深度变量,可控制所有的从属信标,并提出从属信标受控时所应满足的条件．通过对控制器的结构分析和优化设计,提出一种判断控制库所是否冗余的方法．通过剔除冗余的控制库所,得到了结构更为简单,许可行为更多的活性Petri网控制器．