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

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

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

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

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

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

Petri网的组合并运算及性质

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

Petri网的广义笛积运算

文[1]曾给出Petri网的两种合成方法，即Ｐ／Ｔ网的加法和笛积运算。本文再提出几种Ｐ／Ｔ网的广义笛积运算，这几种运算都较好地保持网的结构性质。对此给出实例，显示了它们在Ｐ／Ｔ网的合成与分析中的作用。     

整数模加器的一种硬件设计方法

在深入分析模加运算的实现基础上，提出了一种模加运算的实现方案，并论证了该方案的正确性。基于这种实现方案，设计并验证了一块实现16位模加运算的逻辑电路，仿真结果表明了电路的正确性和设计方案的可行性。     

Petri网的叠加运算

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

加权T—图的保性变换

Ｐｅｔｒｉ网的保性化简是Ｐｅｔｒｉ网分析的一种重要途径。Ｍａｒａｔａ等对活的发安全的标识Ｔ－图提出了系统是化简运算体系。蒋昌俊对加权Ｔ－图提出了若干种化简运算，这些化简运算能够保持网的结构有界性、守恒性、可重复性和相容性，但未涉及活性和公平性的保持问题，本文提出对加权Ｔ－图的另一类保性化简，这些化简运算可以 保持网的结构活性和公平性。     

加权T－图的保性变换

Ｐｅｔｒｉ网的保性化简是Ｐｅｔｒｉ例分析的一种重要途径．Ｍａｒａｔａ等对活的和安全的标识Ｔ－图提出了系统的化简运算体系．蒋昌俊对加权Ｔ－图提出了若干种化简运算，这些化商运算能够保持网的结构有界性、守恒性、可重复性和相容性，但未涉及活性和公平性的保持问题．本文提出对加权Ｔ－图的另一类保性化简，这些化简运算可以保持网的结构活性和公平性．     

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

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

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

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

随机时间Petri网综述

随机时间Petri网作为一种灵活有力的建模机制,被广泛应用于计算机和通信系统的性能与可靠性评价。综述了随机时间Petri网各主要予类的发展历程与研究现状。首先介绍了随机时间Petrl网的一些基本概念,然后回顾了广义随机Petri网,简要总结了处理状态空间爆炸问题的主要途径,讨论了非马尔科夫随机Petri网及其分析技术,最后详细分析了流体随机Petri网。     

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

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

M-Petri网的组合性质

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

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

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