模糊Petri网

本文首先把Ｐｅｔｒｉ网模糊化为一种模糊Ｐｅｔｒｉ网，它很适合用来描述具有模糊行为的并行（或并发）系统。它可用在许多应用领域，如应用在诸如大而复杂的制造系统及至社会和经济系统的模拟仿真等实际问题中。     

模糊Petri网及知识表示

在建造专家系统中虽然有很多种知识表示方法，但都有不尽人意的地方，本文试图用一种新的方法－Ｐｅｔｒｉ网模型来表示知识。本文给出了Ｆｕｚｚｚｙ Ｐｅｔｒｉ网和广义Ｆｕｚｚｙ Ｐｅｔｒｉ网两种模型，并给出了相应的推理算法，一旦专家知识用Ｐｅｔｒｉ网表示后，根据Ｐｅｔｒｉ网固有的特性，我们就能处理专家系统中并行推理、无回溯推理，反向推理等问题。     

Petri网用于Horn子句的逻辑推论

这篇论文探索了命题逻辑的Horn子句的Petri网模型,求解逻辑推论Petri网模型的T—不变量是求解逻辑推论的核心步骤,本文提供了计算T—不变量的算法,这些算法基于归约的思想,另外,在算法中利用单字母规则、纯字母规则和割裂规则可提高算法的速度和简化算法的复杂性。     

在人事管理中的模糊处理和支持决策

在人事管理中有许多不确定和模糊的因素,有时在某种情况下模糊因素对决策是非常重要的.如果我们要在管理决策中利用人工智能,必须处理好模糊因素以及建立合适的决策模型.本文论述了一种模糊处理辅助决策的方法和原理.     

TCPN的变迁弱规则特有的调度可达决策区域及算法

针对时间限制Petri网(TCPN)采用的变迁弱激活规则和基于TCPN的动态标记,引入变迁的调度延时决策变量和决策空间概念刻画TCPN的状态可达可调度规律.这些概念及其算法揭示了TCPN网的并发分布式动态调度特征.特别是变迁弱规则固有的容许含有失败变迁的并行分布式调度问题,描述了涉及具有有效期的可释放资源类实时系统的特殊调度问题及其规律.     

TCPN的变迁弱规则特有的调度可达 决策区域及算法

针对时间限制Ｐｅｔｒｉ网（ＴＣＰＮ）采用的变迁弱激活规则和基于ＴＣＰＮ的动态标记,引入变迁的调度延时决策变量和决策空间概念刻画ＴＣＰＮ的状态可达可调度规律．这些概念及其算法揭示了ＴＣＰＮ网的并发分布式动态调度特征．特别是变迁弱规则固有的容许含有失败变迁的并行分布式调度问题,描述了涉及具有有效期的可释放资源类实时系统的特殊调度问题及其规律．     

带时间和控制的Petri网系统及应用

Ｐｅｔｒｉ网在描述一个并发事件组成的系统的同步行为时,无法体现时间因素对同步控制的影响,同时也难以描述这种同步控制。本文给出了Ｐｅｔｒｉ网中时间和控制的形式定义,并以信号灯系统等例说明了带时间和控制的Ｐｅｔｒｉ网的应用及在描述同步控制上的功能     

一种基于模糊Petri网的不确定知识获取方法及其应用

本文介绍一种基于模糊Petri网获取专家系统不确定知识的方法,文中给出了模糊Petri网的知识表示、不确定推理算法及应用实例。     

Petri网的块组合加网及性能分析

本文提出了Ｐｅｔｒｉ网的两类块组合加网的块笛加网,讨论了保持网的代数性质的条件,这些结果对Ｐｅｔｒｉ网的合成和分析是非常有用的。     

TCPN的状态可达及可调度决策空间算法

Ｔｓａｉ等提出了时间限制Ｐｅｔｒｉ，并讨论了变迁可激活，可调度规律及其计算公式。然而，由于网拓扑和动态的复杂性，某些概念的逻辑关系及公式有矛盾。本文通过引入调度决策变量，动态标记准确地刻画调度规律，修正澄清了Ｔｓａｉ文中的问题，完善了ＴＣＰＮ的调度分析。另外，讨论了ＴＣＰＮ沿含有失败变迁激活路径的调度问题。     

共享竞争择一资源Petri网的形式化设计方法

自动制造系统中有许多共享资源，例如，机器人、数控加工中心、无人导引自动小车等，竞争择一是其共享方式之一。以往，自动制造系统的Ｐｅｔｒｉ网控制系统器设计几乎都是试凑，而且一些性质不能得到满足，如无死锁。这主要是对共享资源的不适当设计造成的。对于多个子系统，为了使之能很好地工作，必须研究一种设计有界、无死锁的Ｐｅｔｒｉ网控制器的方法。本文在以往工作的基础上，提出了有界、无死锁、安全Ｐｅｔｒｉ网控制器…     

模糊Petri网在FMS故障诊断中的应用研究

针对柔性制造系统（ＦＭＳ）故障诊断的特点，将模糊Ｐｅｔｒｉ网扩展为模糊行为Ｐｅｔｒｉ网（ＦＢＰＮ）．并应用于知识的表示中，讨论了ＦＭＳ系统、ＦＢＰＮ及产生式规则之间的对应关系，提出一种模糊反向推理机制，给出了利用ＦＢＰＮ进行知识表示和推理的实例．     

Petri网的局部公平性

本文提出了局部公平性和局部公平网的概念及其与其它公平网的关系,给出了局部公平网的判断条件.     

一种生成具有变量标识的高级Petri网可达树的算法

Petri网动态性质的考察一般基于网不变量(Net Invariants)和可达树(Reachability Tree).这两个概念已被扩展到高级Petri网中.高级Petri网可达集空间随着网的复杂性而指数性增长是计算可达树问题中的一个主要难 点.本文定义了具有变量标识的高级Petri网并给出了构造该类网的可达树的算法.本文的算法以变量标识的等价关系(equivalent relation)和覆盖关系(covering relation)为基础,明显地简化了可达集空间.个体标识的信息可从变量标识的定义域中获得.     

一类具有约束的赋时Petri网的鲁棒性研究

研究一类可以用(max,min,+)等代数运算描述的具有约束的赋时Petri网的性能鲁棒性.首先给出了此类Petri网的统一的代数描述,并将性能鲁棒性问题形式化.接着给出了参数区间摄动情形下性能保持鲁棒性的一个充分条件.对于仅包含(min,+)和(min,max)运算的特殊情形,得到了参数区间摄动情形下性能保持鲁棒性的充分必要条件.     

MARKING ESTIMATION OF PETRI NETS WITH PAIRS OF NONDETERMINISTIC TRANSITIONS

We present a technique for estimating the marking of a Petri net based on the observation of transition labels. In particular, the main contribution of the paper consists in deriving a methodology that can handle the case of nondeterministic transitions, i.e., transitions that share the same label. Under some technical assumptions, the set of markings consistent with an observation can be represented by a linear system with a fixed structure that does not depend on the length of the observed word.     

DISTRIBUTED SIMULATION OF HIGH-LEVEL ALGEBRAIC PETRI NETS WITH LIMITED CAPACITY PLACES

The aim of this paper is to search for techniques to accelerate simulations exploiting the parallelism available in current multicomputers, and to use these techniques to study a class of Petri nets called high-level algebraic nets. These nets exploit the rich theory of algebraic specifications for high-level Petri nets. They also gain a great deal of modelling power by representing dynamically changing items as structured tokens whereas algebraic specifications turned out to be an adequate and flexible instrument for handling structured items. We focus on ECATNets (Extended Concurrent Algebraic Term Nets), a kind of high-level algebraic Petri nets with limited capacity places

Three distributed simulation techniques have been considered: asynchronous conservative, asynchronous optimistic and synchronous. These algorithms have been implemented in a network of workstations with MPI (Message Passing Interface). The influence that factors such as the characteristics of the simulated models, the organisation of the simulators and the characteristics of the target multicomputer have in the performance of the simulations have been measured and characterized

It is concluded that distributed simulation of ECATNets on a multicomputer system can in fact gain speedup over the sequential simulation, and this can be achieved even for small scale simulation models.     

随机Petri网的分解和压缩技术

本文综述了在随机Petri网的分解和压缩技术方面的一些最近的工作，着重介绍了时间数量级分解、接近无关分解、响应时间保留压缩、流等价压缩、层次模型和分层分析与乘积形式解等技术的基本思路、方法和操作过程．本文也描述了解决系统模型状态空间爆炸问题所面临的困难和进一步的研究方向．     

Petri网用于表示知识

本文研究了各种级别Petri网与模态逻辑之间的关系.Petri网的Enlogy是研究这些关系的基础.状况(case)和可达(Reachability)概念已经成功地用于以条件/事件(Condition/Event,简称C/E)网作知识表示.本文引用上述两个概念,使位置/变迁(Place/Transition,简称P/T)网和高级Petri网(High Level Petri Net,简称HLPN)可作知识表示.为了增强以 HLPN网作知识表示的能力,我们引用了状况变量和等价状况变量的概念.文中我们还以例子说明这些方法是可用的和有效的.     

转移具有确定性时延的随机Petri网近似算法

本文对含有确定时延的随机Ｐｅｔｒｉ网提出了一种进行解析分析的近似算法。