基于模糊Petri网的瓦斯突出空间模型

瓦斯突出相关影响因素具有明显的时空特性,煤层突出危险程度的判别是一个多因素决定的模糊事件,模糊Petri网在离散事件动态建模具有突出的优势。在分析瓦斯突出空间数据分布及模糊性应用基础上,对比分析基本Petri网和模糊Petri网的知识表示,结合瓦斯突出各因素空间分布的特点,扩展了模糊Petrie网的相关组件成分,建立基于模糊Petri网的瓦斯突出空间模型,使瓦斯突出影响因素在不同的空间位置通过空间模型表示出来,进一步描述了瓦斯突出空间位置动态转换,在实际预测中具有现实的意义和可操作性。     

状态监测与故障诊断的Petri网建模与分析

为了解决状态监测与故障诊断的统一建模问题,提出一种新型Petri网模型——监测诊断Petri网;首先对状态监测中的特征参量进行了分析,给出了一种实用的模糊隶属度函数形式,接着在基本网系统的基础上,定义了新型Petri网,分析了它的动态特性,同时为了描述其运行过程,提出一种仿真方法;该方法可以为新型Petri网运行的计算机实现提供依据,同时通过学习案例也可以验证其中参数的正确性,最后举例验证了新型Petri网的可行性和实用性;监测诊断Petri拓展了Petri网的描述领域,形象动态地展现了监测与诊断的过程,实现了全过程的统一建模。     

炼油生产调度的混合Petri网建模

文章首先分析了炼油生产调度问题,指出炼油生产调度是一个既具有连续时间特性,又具有离散事件特性的混合动态系统,针对这种特性,该文在研究了连续Petri网和混合Petri网之后,将混合Petri网用于炼油生产调度系统的建模,为解决炼油生产调度的实时性问题提供了有力工具。     

CAINONET业务流设计系统的通信模型描述

业务流设计是网络工程的一个重要方面,用于网络的性能评价和性能优化。Petri网具有异步并发的特性,主要应用于分布式系统。中国高速信息示范网（CAINONET）业务设计系统（CTES）是一个典型的分布式系统,CTES各模块分别部署在网络的不同节点上,整个系统的正常运行依赖于各模块间的相互通信。本文在基本Petri网的基础上,针对CTES的系统动态重构的特性（即模块个数不定性）,提出了一种新的Petri网,对CTES的通信模型进行了描述。     

动态模糊Petri网模型及其应用研究

以模糊Petri网的基本定义，动态模糊集和动态模糊逻辑为基础，讨论了动态模糊Petri网的基本模型，建立了动态模糊Petri网与模糊Petri网之间的映射关系和转移算法，解决了与动态模糊知识的动态模糊Petri网表示相关的几个问题，最后给出了动态模糊Petri网中动态模糊性的计算方法和相应的推理方法。     

模糊Petri网及其在模糊推理中的应用

该文首先引入模糊Petri网(Fuzzy Petri Net)的定义，给出了一个九元模糊Petri网模型，并且详细介绍了模糊Petri网的激发规则。给出了产生式规则的模糊Petri网表示的三种模型，在此基础上提出了一种基于模糊Petri网的推理方法，最后使用模糊Petri网中知识表示和运行的基本算法解决了汽车质量检验和故障分析这一实际问题。实际应用证明基于模糊Petri网的产生式规则的推理具有知识表达能力强，处理不确定知识正确，推理过程简单直观，具有一定的智能推理能力，具有较强的实用价值。     

基于模糊Petri网和Genetic-PSO算法的动态不确定性知识表示方法

针对复杂系统中不确定性信息的演变特性,提出对其动态适应的基于模糊Petri网和遗传-粒子群(GPSO)算法的不确定性知识表示方法.在基于模糊Petri网的不确定性知识表示模型的基础上,对该模型进行精确数学表示,并采用GPSO实现对不确定性表征参数的动态求解和自学习.最后通过在运载火箭伺服机构故障诊断上的应用验证基于GPSO的自学习模糊Petri网的有效性.     

基于Petri网和并发调度标识图的并发任务调度的建模与分析

在云计算及网格计算环境下,由于资源具有分布、异构、动态、自治等特点,其并发任务的调度更加复杂,迫切需要强有力的图形与数学工具对其进行建模与分析。Petri网是描述与分析并发、异步、动态等事件的理想的图形与数学工具。给出了并发任务调度的加权时延Petri网模型。可达标识图是分析Petri网动态特性的一个重要工具,但它不能表达Petri网中变迁的并发关系,尤其是不便于分析被描述系统的时间特性。提出了并发调度标识图的概念,给出了构造时延Petri网的并发调度标识图的算法。最后,利用并发调度标识图分析了并行下载的时间特性。     

PETRI网工具——GPNT的设计与实现

Petri网是描述和分析含有并行成分的系统动态特征的重要模型。随着Petri网理论研究的不断深入和在各实际领域的广泛应用,作为支持Petri网本身的设计与分析的计算机辅助工具的研究就显得十分重要。GPNT(Graphic Petri Net Tools)是西北大学计算机科学系研制的一个具有图形功能的Petri网工具软件,用于支持P/T网的设计、动态模拟及特性分析等。本文概要地介绍了该系统的功能并讨论了系统设计与实现中的若干技术问题。     

模糊Petri网在带权不精确知识表示和推理中的应用研究

Petri网是一种适合于描述异步并发事件的计算机系统模型 ,可以有效地对并行和并发系统进行形式化验证和行为分析 .以模糊 Petri网的基本定义为基础 ,讨论了带权模糊知识的模糊产生式系统表示法 ,建立了这种表示法与模糊 Petri网之间的映射关系和转换算法 ;在对模糊 Petri网进一步扩充的基础上 ,解决了与知识的模糊Petri网表示相关的几个问题 ;最后给出了模糊 Petri网中不确定性的计算方法和相应的不精确推理算法     

模糊属性Petri网建模方法及学习模型研究

定性映射易于表达模糊不确定性知识,但其在表达人类认知思维活动动态特征上存在不足;模糊Petri网比较符合人类思维方式,但相关参数不易获得且其自学习能力存在较大局限性。为此,提出一种模糊属性Petri网(FAPN)形式定义及建模方法。在FAPN结构中构建定性基准参数学习方法,通过定性映射定义4类变迁发生的模糊定性判断规则和相应变迁发生后的结果运算公式,给出FAPN模型的推理算法和学习机制,并模拟系统的动态运行过程。分析结果表明,该方法能有效提高FAPN的学习能力,可适用于以定性判断为特点的诊断系统。     

基于模糊神经Petri网的故障诊断模型

Petri网是对具有产生式规则的故障诊断系统的有力建模工具，但其缺乏较强的学习能力．本文以Petri网的基本定义为基础，结合模糊逻辑和Petri网模型，定义了模糊Petri网模型，在此基础上引入人工神经网络技术，给出了人工神经网络的模糊Petri网表示方法，并针对工程机械故障诊断异步、离散等特点，提出并建立了故障诊断的模糊神经Petri网模型及其改进模型．基于模糊神经Petri网的故障诊断系统结合了Petri网和人工神经网络的优点，经过自学习后同时具有很强的推理能力和自适应能力．     

基于直觉模糊Petri网的敌意图识别方法研究

现代战争中由于战场态势的不确定性,敌战术意图的识别也应作为一个动态的不确定性决策问题进行研究.针对该不确定性动态识别问题,综合利用直觉模糊集合理论与Petri网理论的优点,构建了敌战术意图识别的直觉模糊Petri网模型及其推理算法,在推理过程中充分发挥Petri网的动态并行推理能力,使得推理更加高效,由于非隶属参数的作用,推理结果更加准确可信.通过建模仿真给出该模型的应用步骤,验证了其正确性和合理性.     

Requirements specification and analysis of digital systems usingfuzzy and marked Petri nets

Fuzzy information often appears in the system requirements. Fuzzy Petri nets (FPN) are Petri nets in which certain fuzzy truth values are assigned to its transitions. We show how the FPN model can be used for formal specification and verification of digital systems. The consistent FPN model is actually a state machine, from which we can obtain a consistent marked Petri net (MPN) model. Based on the consistent MPN model, the hardware prototype at register transfer level can be easily induced by using the optimization rules. Finally, main results are presented in the form of three theorems and are supported by some experiments.     

采用改进的进化策略优化模糊Petri网参数

模糊产生式规则的各项参数对模糊Petri网（FPN）的建立具有非常重要的意义,寻找一种可以得到合适的FPN参数的方法一直是Petri网研究领域的热点与难点。已有的寻优方法得到的参数还不太令人满意。对传统进化策略做了改进,并采用改进后的进化策略,研究了一种FPN参数优化的新方法。仿真实验的结果表明,改进后的进化策略能提高FPN的参数精度,从而增强了FPN对知识的分析、推理能力。     

Describing an IMS by a FNRTPN definition: a VHDL approach

A new Petri net extension and a novel method describing the structure and behaviour of an intelligent manufacturing system (IMS), using a VHDL tool, is proposed. The PN extension is defined as Fuzzy Neural Real Time Petri Net (FNRTPN), where the fuzzy part let the intelligent scheduling of the tasks for the IMS, and the neural part calculates the estimation of the parameters of the set point for each resource in the system. At last, VHDL is proposed as an Unified Modelling Language (UML) to express the model of the manufacturing process. The extension and VHDL are used to apply a fuzzy neural control scheme to a FMS.     

区间速率连续Petri网的模糊模型

为了实现区问速率连续Petri网的模糊控制,建立了区间速率连续Petri网的模糊模型,定义了区间速率连续Petri网的模糊规则.进一步地,对区间速率连续Petri网的模糊控制进行了讨论,给出了库所标识收敛的定理,为基于区间速率连续Petri网描述的模糊系统的控制提供了理论依据.实例分析表明了区间速率连续Petri网的模糊控制的可行性.     

模糊着色Petri网及其在工作流建模中的应用

Petri网是当前工作流建模中广泛采用的工具之一，针对工作流过程定义中模糊信息的描述和处理问题，提出模糊着色Petri网的描述方法，并给出基于模糊着色Petri网的推理过程，最后给出一个简单业务流程的基于模糊着色Petri网的工作模型，并对该模型进行了分析。     

Possibilistic Petri nets

This paper presents the possibilistic Petri net model which combines possibility logic with Petri nets with objects. The main feature of this model is to allow one to reason about the aspects of uncertainty and change in dynamic discrete event systems. The paper presents relevant concepts of Petri nets with objects and possibility logic and how imprecision and vagueness are introduced in the marking of a Petri net with objects. The marking of a net is imprecise, or in a more general way, fuzzy, in order to represent an ill-known knowledge about a system state. A new marking updating according to the fuzzy marking such defined is also discussed. An example of shop door monitoring is presented that illustrates our approach.     

直觉模糊Petri网的空战战术决策

空战对抗时间短、任务重、态势变化迅速、不确定性因素多。直觉模糊集是处理不确定性问题的有效方法,结合Petri网强大的知识表示能力,给出了直觉模糊Petri网（IFRN）的模糊推理算法和推理规则。针对空战战机稍纵即逝的特点,适当选取模糊控制变量和隶属度函数,构建了直觉模糊Petri网决策模型。选取某空战实例进行仿真实验,决策结果与专家的预测结果吻合,验证了模型的正确性和可用性。分析了模型在实际应用中存在的缺陷,提出适当的改进意见,使模型更加完善。