Petri网结点精化及其应用

在Petri网精化概念的基础上,给出一种解决Petri网结点爆炸问题的方法,该方法针对精化的定义,从库所和变迁的约束条件入手,分析结点精化的可行性和方法,并给出证明。该方法的建立为今后利用Petri网进行建模提供了必要帮助。     

电力系统结线分析的有色Petri网方法

从离散事件动态系统角度考虑电力系统结线分析问题,提出了基本分析单元的有色Petri网模型以及基于该Petri网的结线分析算法,Petri网中的令牌代表结线分析中的结点,令牌的颜色表示连接在同一个结点上的元件,变迁将包含相同元件的结点连接在一起,论文对基于Petri网的结线分析算法及传统的算法进行了比较,并计算了一个模型系统各变电站的结点及网络的结线,表明了该方法的可行性及有效性。     

层次结构的进程网

进程网(Process Net)是一种结合进程代数和Petri网理论的Petri网模型。 当系统过于复杂时,进程网系统模型在实际应用中会遇到节点爆炸的问题,此时需要引入层次结构。提出了层次结构的进程网,给出了层次进程网的建模过程和实现算法,解决了大的复杂系统建模和状态空间爆炸问题,可以清楚地反映出模型的层次,便于对进程网进行细化得到准确的模型,也便于用逐步求精、自顶向下的方法对被模拟系统进行建模,帮助用户实现各种粒度的仿真服务。     

Petri网系统活性的研究

随着Petri网在平行计算、通讯系统、计算机集成制造系统等领域的广泛应用,在以Petri网为实际系统建立模型之后,人们很关心模型系统各种性质与行为,其中,活性是最关心的性质之一。我们知道Petri网系统是动态系统的静态描述,从它可以很容易得到系统的状态转换图,一般称Petri网系统的可达图(系统无界时,得覆盖图)。实质上,可达图是动态系统的动态描述;系统有多少种不同状态(不考虑系统无界时),可达图就有多少个结点;结点间由有向弧连结,表明从一种状态转换为另一种状态发生了什么动作(一种或若干     

基于Petri网的智能超媒体模型

智能超媒体是多媒体技术与专家系统的理想结合，Petri是描述系统行为的形式化工具。该文利用有色Petri网、扩展OCPN模型，采用立体层次结构，提出了一种基于Petri网的智能超媒体模型。该模型能较好地描述专家系统中规则的推理、多媒体中各种媒体的链接与同步以及与用户的交互和表现问题。     

基于Petri网的工作流过程模型及资源分布分析

针对工作流系统的特点对时延Petri网模型进行扩展,提出了一种新的工作流建模方法,即扩展时延Petri网。给出了扩展时延Petri网的定义,并用该方法分析了工作流四种基本模型;给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法,用这种方法可求得与实例到达率相关的工作流模型平均完成时间。最后应用上述方法讨论了工作流资源分布的几种模式,并与模拟结果加以对比,计算结果的最大误差在3%左右,说明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。     

可编程逻辑控制器的平行Petri网设计与实现方法

为了实现可编程逻辑控制器(PLC)的形式化设计, 定义了一种可以感知和执行的新型Petri网, 称为平行Petri 网. 将输入输出变量映射到库所结点上, 描述了PLC的Petri网模型的一般设计方法, 进而给出了其动态演化算法. 通 过C语言和TwinCAT联合编程, 使得Petri网与被控物理对象平行演化, 实现了Petri网对物理过程的平行感知和控制, 并完成了实验验证. 该方法可以缩短控制代码的开发周期, 简化程序复用的复杂性, 为平行系统在PLC工程中的应 用提供了有效工具.     

基于随机Petri网的协同服务模型与分析

提出了一种基于随机Petri网的协同服务模型与分析方法,选择了企业协同服务中几个最具有代表性的流程,利用随机Petri对这些代表流程进行了建模以及模型简化和证明.然后,以电子商务系统中的物流系统为例,在随机Petri网模型建模的基础上应用模型等价化简和性能评价方法,时模型化简前后的系统性能和计算时间进行了对比分析.     

基于Petri网的CAD系统奇异情况处理

为了提高CAD系统的健壮性,以Petri网为理论基础,提出了一种具有奇异情况处理能力的CAD系统模型--Broker-Employee结构。它具有如下特点：可计算性（应用Petri网建模,可以进行数学分析）、可复用性（适用范围广,可以重复利用）和可替换性（具有统一、标准的接口,可心具有相同接口的Employee进行替换）。同时也阐述了应用这种模型建立起相应层次结构的方法,并对该模型的可计算性进行了说明。     

一种基于知识约简的Petri网模型简化方法

提出一种基于知识约简的Petri网模型简化方法,利用知识约简中的属性约简方法,去除Petri网对应的产生式规则的冗余规则和冗余条件,简化产生式规则得出关键规则。经过知识约简后的规则库转化为Petri网模型,此时的Petri网模型的结点数目减少,因此在一定程度上降低了网系统的复杂程度。简化后的模型保持原有的信息量,而所含的库所、变迁得到了减少,在其基础上进行的知识推理,更加简单和高效。最后通过一个病例实例说明,此方法简单实用,可以有效减少时间和空间复杂度,提高知识搜索和推理效率。     

Petri网替换运算

文中给出了Petri的替换运算定义，它是对分层模拟与逐步求精的Petfi网建模思想方法的一个形式化描述。文中还通过Petri网语言讨论了Petri网的替换运算同语言的替换运算之间的关系，结果表明，这两个从不同角度给出的替换运算在实质意义上是协调的。     

Structuring Acyclic Petri Nets for Reachability Analysis and Control

The incidence matrices—from places to transitions and vice versa—of an acyclic Petri net can obtain a block-triangular structure by reordering their rows and columns. This allows the efficient solution of some reachability problems for acyclic Petri nets. This result is further used in supervisory control of Petri nets; supervisors for Petri nets with uncontrollable transitions are constructed by extending the method of Yamalidou et al. (1996) to Petri nets where transitions can be executed simultaneously. A large class of Petri nets with uncontrollable transitions is given for which the maximally permissive supervisor can be realized by a Petri net. The original specification is algorithmically transformed—by using the results for acyclic Petri nets—into a new specification to take the presence of uncontrollable transitions into account. The supervisor is obtained by simple matrix multiplications and no linear integer programs need to be solved. Furthermore, a class of Petri nets is given for which the supervisor can be realized by extending the enabling rule with OR-logic.     

Petri网化简技术的动态特性研究

对于大而复杂的Petri网,“节点过多,状态爆炸”一直是阻碍其技术发展的主要问题,因此,如何有效地简化Petri网一直是Petri网研究领域的一个研究热点。将Petri网简化为若干子网是一个很有效的方法。提出了库所指标概念,根据该指标,给出了Petri网的分解定义,并给出了相关算法。在此基础上,依据所给出的算法研究化简技术的动态特性,将子网与原网的特性对应起来进行研究,为复杂系统的Petri网的分析提供了一种有效的途径。     

Modeling production configuration using nested colored object-oriented Petri-nets with changeable structures

Configuring production processes based on process platforms has been well recognized as an effective means for companies to provide product variety while maintaining mass production efficiency. The production processes of product families involve diverse variations in manufacturing and assembly processes resulted from a large variety of component parts and assemblies. This paper develops a multilevel system of nested colored object-oriented Petri nets with changeable structures to model the configuration of production processes. To capture the semantics associated with production configuration decisions, some unique modeling mechanisms are employed, including colored Petri nets, object-oriented Petri nets, changeable Petri net structures, and net nesting. The modeling formalism comprises resource nets, manufacturing nets, assembly nets and process nets. The paper demonstrates how these net definitions are applied to the specification of production process variants at different levels of abstraction. Also reported is a case study in an electronics company. The system model is further analyzed with focus on conflict prevention and deadlock detection.     

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

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

M-Petri网的组合性质

提出两类新的组合 M- Petri网 ,讨论了组合网保持网的结构性质的条件 ,从而为 Petri网的分析与综合利用提供了有效的方法     

两类组合Petri网与性能分析*

提出两类新的组合Petri网,讨论组合网保持网的结构性质的条件,从而为Petri网的分析与综合提供了有效的方法.     

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

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

基于同步合成的结构复杂Petri网的行为描述

首先分析了一类结构简单的Petri网--S-网的语言性质,得到了它们的行为描述方法.拓展了Petri网同步合成的概念,证明了给定一个结构复杂的Petri网都可通过一组S-网的同步合成运算而得到,并给出了相应的求解算法.引入语言的同步交运算,分析了结构复杂的Petri网与其同步合成子网之间的行为关系,给出了结构复杂Petri网的行为描述算法,为利用网语言分析实际系统的行为特征提供了可靠的理论依据和方法.     

公平网的活性判断

Petri网的活性判断一直是一个广为关心的问题。本文就公平网的活性进行了研究。指出如果一个公平网的有界子网是活的,那么该公平网是活的。并给出了一个公平网活的充分必要条件。