Petri网的组合并运算及性质

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

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

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

P/T网的化简运算及其性质研究

本文首先给出P／T网的几种化简运算，然后证明这几种运算对于网的结构性质不变，从而为P／T网的分析与综合提供了有效途径．     

M—Petri网及其性能分析

Petri网的应用越来越广泛,对其理论的研究也进一步深入,文[1]～[3]对Petri网的加法、笛积、广义笛积和并运算进行了一系列讨论,得到一些重要性质。对Petri网的活性研究,具有非常重要的理论和应用价值,也是Petri网理论工作者花费很大精力研究的问题。但对一般Petri网的活性研究至今没有较为理想的解决方法。本文在Petri网的并运算的基础上提出了多重Petri网—M-Petri网的概念,并讨论了M-Petri网的相容、守恒、有界性质以及活性,给出若干结构有界的判定条件。     

用Petri网表示产生式知识

本文用Ｐ／Ｔ网，Ｐｒ／Ｔ网及其扩展对基于Ｈｏｒｎ子句的产生式知识进行了模拟，给出了将产生式知识换为Ｐｅｔｒｉ网的算法，并用Ｐｅｔｒｉ网对推理进行了探讨，试解了若干实例。     

M-Petri网的组合并运算及性质

本文提出了M-Petri网的组合并运算，包括M-Petri网的笛并运算和广义笛并运算、M-Petri网的I型组合并运算和Ⅱ型组合并运算，讨论了保持网的结构性质的条件，为M-Petri网的分析与综合提供了新方法。     

对基于TCP/IP协议的几个网络安全问题的分析与讨论

从对ＴＣＰ／ＩＰ协议的分析出发;针对ＴＣＰ／ＩＰ协议本身存在的安全隐患,讨论了几种可能的攻击策略;并给出了针对这些攻击的一些防范措施,为基于ＴＣＰ／ＩＰ协议的网络安全建设提供了建设性的参考．     

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

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

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

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

Petri网共享合成及其在并行系统中的应用

为了使Petri网技术能够应用于MPI并行程序的正确性和性能的验证,提出了Petri网共享合成运算构建MPI并行程序Petri网的算法。对分布式并行处理系统MPI并行程序的结构与消息传递过程进行分析,给出并行程序基本语句与传递函数的Petri网,将Petri网共享合成运算从两个Petri网的共享合成运算推广到并行程序的多个Petri网的共享合成运算,给出了推广定理和证明。提出了共享合成构建MPI并行程序Petri网的算法,并在消息传递并行系统中给出构建MPI并行程序Petri网的应用示例。实验结果表明,共享合成运算是构建MPI并行程序Petri网模型的一种有效方法。     

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

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

Net Operations

Two kinds of net operations.addition and Cartesian production of P/T nets,are introduced.They are defined on the set of underlying net of P/T systems.The conditions for preserving structural properties of Petri net after these operations are discussed.It is shown that the set of P/T nets forms and Abelian group for net addition operation and the inverse net of a P/T net in usual meaning of net theory is exactly the inverse of this P/T net as an element of the P/T net group;and that the set of P/T nets forms an Abelian ring for net addition and Caresian product operations.     

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

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

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

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

T-组合Petri网的活性和公平性分析

同步合成是研究复杂Ｐｅｔｒｉ网系统性质的有效途径．文中通过引入可引发变迁序偶的概念,研究了Ｔ－组合（同步合成）Ｐｅｔｒｉ网对子网的活性和公平性继承关系,给出了一组Ｔ－组合Ｐｅｔｒｉ网活或公平的充要条件和充分条件．这些结果对网组合同步设计具有重要的指导意义     

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

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

Petri网替换运算

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