Net Operations (Ⅱ)-The Iterated Addition Operation of Petri Nets

This paper presents the iterated addition operation of Petri nets and dis-cusses its application in analysis and synthesis of cycle type systems and star type systems. A group of necessary and sufficient conditions for analysis of structural properties is obtained. In addition sufficient conditions for general systems are obtained.

Petri网的并分解

给出了Petri网的并分解的定义 ,并讨论了通过这种分解原网与子网在结构性质方面之间的关系 。

两类组合Petri网与性能分析

提出两类新的组合Ｐｅｔｒｉ网，讨论组合网保持网的结构性质的条件。

Petri网的组合并运算及性质

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

最大速度变化的连续Petri网(VCPN)的动态演变及性质判定

最大速度变化的连续 Petri网 (VCPN)是由 David等最早提出的一类时延连续 Petri模型 ,但并未对其动态及结构性质给出分析方法 .首先给出了 VCPN的相区间的定义及其划分 ,并结合实例对 VCPN的动态演变过程进行了分析 .在此基础上 ,结合 VCPN的稳定的相区间 ,进一步对其性质给出了相应的定义及判定定理 .利用这些结论 ,可以对由 VCPN模拟的系统进行性能分析 .这种分析方法对某些系统利用

基于位置不变量的Petri网分解方法

Petri网是系统模拟和分析的有效工具 ,然而对大系统的分析由于变迁和位置的数目大分析起来比较麻烦。文中着重讨论了一种网分解方法 ,给出了Petri网分解的定义 ,并讨论了通过这种分解后 ,原网与子网在结构性质方面之间的关系 ,对用Petri网分析大系统提供了一种有效的方法。

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

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

并行程序Petri网模型的结构性质

正确性是并行程序的基础,但是由于它的复杂性,其验证要比串行程序困难得多,因此有必要进行建模并研究其性质.从程序的角度出发,在将基于消息传递的并行程序转换为Petri网模型之后,证明了与并行正确的并行程序对应的Petri网模型应当满足的结构性质,包括强连通性、S-不变量、T-不变量、受控死锁性质以及守恒性,并举例说明了这些性质在并行程序验证中的应用.这些性质可用于并行程序的事前验证,而且避免了使用动态性质进行验证时的状态爆炸问题,从而提高并行程序设计和验证效率.同时这些方法具有良好的可推广性.

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

本文提出ＳＴ－ 组合Ｐｅｔｒｉ网的概念，讨论了ＳＴ－ 组合Ｐｅｔｒｉ网对子网的结构性质保持问题，深入研究了ＳＴ－ 组合Ｐｅｔｒｉ网的结构活性、结构有界性、守恒性、可重复性、相容性、公平性．

Petri网的公平分解和守恒分解

给出了Petri网的公平分解和守恒分解的定义,同时给出了Petri网达到公平分解和守恒分解的具体方法,并证明了这种分解方法保持了网的一些结构性质。

最大速度恒定的连续Petri网(CCPN)的性质及判定方法

最大速度恒定的连续 Petri网 (CCPN)是由 David等最早提出的一类时延连续 Petri网模型 ,但并未对其性质给出确切的定义及相应的判定方法 .文 [1]中给出了 CCPN的演变图及其构造算法 .本文在给出 CCPN有关性质的定义的基础上 ,结合 CCPN的演变图 ,进一步对其性质给出了相应的判定定理 ,利用这些结论 ,可以对由

基于库所指标分解的Petri网结构性质分析

Petri网的分解技术是复杂网系统分析的一种重要手段,基于库所指标的分解方法将系统分解为一组S-网。基于库所指标的分解方法来分析原网的结构性质,得到了原网对子网结构性质的保持关系,并给出了几种通过子网直接判定原网结构性质的方法,为结构复杂Petri网的性质分析提供了有效的方法。

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

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

M-Petri网的组合性质

提出两类新的组合 M- Petri网 ,讨论了组合网保持网的结构性质的条件 ,从而为

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

本文提出了 M- Petri网的组合并运算 ,包括 M- Petri网的笛并运算和广义笛并运算、M- Petri网的 型组合并运算和 型组合并运算 ,讨论了保持网的结构性质的条件 ,为 M-

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

提出 Petri网的两类块组合并网 ,讨论了保持网的结构性质的条件 ,这些结果对 Petri网的合成和分析是非常有用的 .

Petri网的流分解

Petri网的合成和分解是复杂系统建模和分析的重要辅助手段。作为同步合成的逆运算,给出了Petri网的流分解的定义;讨论了原网与流分解子网的关联矩阵之间的关系。通过这种关系,得出了关于原网与流分解子网的S-不变量和T-不变量的两个计算公式。根据同步合成对Petri网的各种动态性质和结构性质有良好的保持性以及流分解是同步合成的逆运算,可以推知流分解运算对Petri网的各种动态性质和结构性质也有良好的保持性。

Petri网的两类广义组合并网

Petri网运算或组合是合成复杂系统的有效方法 ,由此提出了Petri网的两类广义组合并网 ,讨论了保持网的可重复性、相容性、有界性和守恒性的条件 。

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

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

关于Petri网精细化操作及其应用研究

为了解决“顾客投诉”等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。定义了一种子网,用这种子网分别对Petri网中的某些变迁进行细化,得到更细致、更精确的Petri网。研究了Petri网精细化操作的性质保持问题,给出了这种精细化操作保持结构有界性、守恒性、可重复性、相容性和活性的充分条件。本文的结果可为复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和验证,具有一定的实用价值。