Petri网的组合并运算及性质

1 引言 Petri网作为系统模拟与分析的工具已在众多领域得到应用。通过一些较为简单的小网利用某种运算或组合而得到较为复杂的大网,且在组合过程中保持网的某些性质不变,对于合成复杂系统提供了很好的途径。文[1,2]首次提出了Petri网的加法、笛积、广义笛积运算,研究了一系列重要性质。文[3,4]定义了     

Petri网的笛加运算及性质研究

本文提出了Ｐｅｔｒｉ网的笛加运算、广义笛加运算，讨论了保持网的结构性质的条件，为Ｐｅｔｒｉ网的分析与综合提供了新途径。     

M-Petri网的组合性质

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

M－Petri网的两类广义组合并网

1 引言 Petri网理论作为系统模拟与分析的重要工具已在众多领域得到应用,但Petri网对于大系统的分析也遇到了一些困难。因此,通过一些较为简单的小网利用某种运算或组合而得到较为复杂的大网,且在组合过程中保持网的某些性质不变,无疑为Petri网对于大系统的分析提供了很好的途径。文[1,2]首次提出了Petri网的加法、笛积、广义笛积运算,研究了一系列重要性质。文[3,4]定义了Petri网的并运算、组合网,讨论了保持网的结构性质及活性的条件。文[5,6]给出两类新的组合网、笛加运算,讨论了保持网的代数性质的条件。文[7]又     

ST—组合Petri网的结构性质分析

本文提出ＳＴ－组合Ｐｅｔｒｉ网的概念,讨论了ＳＴ－组合Ｐｅｔｒｉ网对子网的结构性质保持问题,深入研究了ＳＴ－组合Ｐｅｔｒｉ网的结构活性、结构有界性,守恒性,可重复性,相容性,公平性。本文给出的网组合可作为系统合成与分析的有效方法。     

Petri网的笛加运算及性能研究

本文提出了Ｐｅｔｒｉ网的笛加运算，广义笛加运算，讨论了保持网的结构性质的条件，为Ｐｅｔｒｉ网的分析与综合提供了新途径。     

Petri网的组合积网及性能分析

Petri网是一种系统描述和分析的工具 .Petri网组合是由小系统的性质获得大系统性质的一种有效的分析方法 .本文提出了 Petri网的组合积运算 ,包括 Petri网的 型组合积运算和 型组合积运算、Petri网的并积运算 ,讨论了保持网的结构性质的条件 ,为复杂大系统的分析提供了新途径     

Web服务组合的有色网模型及运算性质

定义了一种基于有色Petri网的Web服务组合模型,这一模型能清晰表达服务组合中各组成部分之间的逻辑关系,并可模拟组合服务的执行,分析其动态性质．给出了服务、服务组合运算的定义及性质、服务组合的建立与执行算法．     

空标识可再生网的运算和性质分析

Lautenbach等人曾给出了一般网空标识可再生 (reproducibility of the empty marking)的充要条件,证明了一个网是空标识可再生的,必须存在含有源(fact)和汇(goal)变迁的非负T-不变,且由该T-不变所组成的变迁外延子网既不含有死锁(siphon),也不含有陷阱(trap).扩展了这个结论,证明了经合成、插入、删除、替换等运算后的网仍保持空标识可再生性.还进一步证明了空标识可再生网的逆网也是空标识可再生的;无环空标识可再生Horn网的T-不变一定可实现;一个含有源和汇变迁的无环P/T网是空标识可再生的,当且仅当其被T-不变所覆盖.这些结论可为复杂的逻辑推理及工作流逻辑网的畅通性检测提供更为有效的方法,最后给出了相应的算法.     

Petri网的叠加运算

本文提出Ｐｅｔｒｉ网的叠加运算，并讨论了它在环型系统和星型系统的分析与合成中的应用，得到一组有助于结构性质分析的充要条件和充分条件，本文的结果是文献［１］的进一步发展，在某些方面比文献［１］的结果要好。     

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

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

Petri网的广义组合积网研究

本文提出了Petri网的P-划分组合积网和T-划分组合积网，讨论了保持网的结构性质的条件。为大系统的分析与综合提供了新途径。     

Petri网的并分解

给出了Petri网的并分解的定义,并讨论了通过这种分解原网与子网在结构性质方面之间的关系,对用Petri网分析大系统提供了一种有效的方法。     

基于M-Petri网的活性研究

文章给出了M－Petri网的概念,并对其活性进行分析,给出了几个判定 M－Petri网活的条件。     

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

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

基于广义随机着色Petri网的Web服务组合模型

给出了广义随机着色Petri网(GSCPN)和基于GSCPN的Web服务模型,实现了Web服务QoS和数据的表示,并给出了基于GSCPN的服务组合运算方法。用模型的层次化方法来降低模型的复杂性,一定程度上减轻了模型状态爆炸问题。分析了组合运算的性质,探讨了模型的性质和QoS分析方法。