无界公平Petri网的进程表达式

Ｐｅｔｒｉ网的进程表达式是以该网系统的基本子进程集为字母表的一个正规表达式．它用有限形式给出了网系统的所有（无限多个）进程的集合．作者于１９９５年给出了对任意给定的有界Ｐｅｔｒｉ网求其进程表达式的一个算法．这个算法对无界Ｐｅｔｒｉ网是不适用的，其原因在于子进程同构的概念在无界网系统中没有意义．对此，作者通过定义进程段行为等价的概念，导出了无界Ｐｅｔｒｉ网的进程表达式的一般形式，并借助无界公平网的特征可达树得出求给定无界公平网进程表达式的一个算法。

有界Petri网的可达图到网图的转换算法

本文给出了有界Petri网的可达标识图到网图的转换算法,对算法的正确性与复杂性分别进行了证明和估计,结果表明该算法是一个多项式算法,因而是有效的。

Petri网中亚公平关系与亚公平网

Petri网中的弱公平但不公平的关系称为亚公平公系 ,由此可引伸出亚公平Petri网和亚公平网等概念。本文证明了一个重要性质 :亚公平Petri网中一定存在着公平关系 ,并在此基础上讨论了亚公平网中的公平分支划分。此外 。

有界Petri网的活性和公平性的分析与实现

Petri网的活性和公平性分别反映了所模拟的分布式系统的无死锁性和无饥饿性。本文对有界Petri网的活性和公平性进行了分析:1)指出了有界Petri网的活性和公平性在其可达标识图中的表现;2)证明了对于一个结构有界的可重复网(并带有可重复的初始标识),如果在任意可达标识下,任意两个变迁节都不处于有效的冲突,则这个网一定是活的和公平的。 对于不活或不公平的带可重复标识的结构有界的可重复网,本文提出了几种实现活性和公平性的控制装置。

Petri网的进程文法和进程语言

The concept of process grammar, based on the idea of vector grammar, for petri net is presented in this pa-per. The process language of a petri net can be generated by derivation according to its process grammar . The set ofbasic process section sequence represented by the process language of a petri net ∑is the same as that represented bythe process expression of ∑if ∑is bounded or fair. In the case of that∑is unbounded and unfair ,the set of all processof∑ can also be represented by its process language passed through parallel processing.

Pumping引理的Petri网描述──Petri网语言属型的一组判定条件

本文通过Ｐｕｍｐｉｎｇ引理在Ｐｅｔｒｉ网的变迁节引发序列中的反映，揭示了对应的Ｐｅｔｒｉ网结构内涵，从而给出了判定一个标准Ｐｅｔｒｉ网产生的语言分别为正规语言或上下文无关语言的充要条件．这样，就可以从网的结构直接判断其语言属型．

含本征二级活变迁的Petri网剖析

对含有二级活而非三级活（ 即本征二级活） 变迁的Ｐｅｔｒｉ 网结构进行了深入的分析，并对含本征二级活子网的可重复网的结构进行了讨论。

布尔矩阵空间及正则布尔矩阵的g－逆线性空间

研究了布尔矩阵空间和正则布尔矩阵的ｇ－逆线性空间的一些性质。在此基础上，给出了正则布尔矩阵的ｇ－逆集的另一个表示法。进而，提出了正则布尔矩阵的特征矩阵概念，通过特征矩阵可以表征一个正则布尔矩阵的极小ｇ－逆集、主ｇ－逆和ｇ－逆线性空间的一些重要性质。

布尔矩阵的极小合g－逆和g－逆集的一个表示法

提出了布尔矩阵的极小ｇ－逆（广义逆）的概念，给出了求正则布尔矩阵的极小ｇ－逆集的一个算法和极小ｇ－逆个数的计算公式。根据ｇ－逆界定理，一个正则布尔矩阵Ａ的全部ｇ－逆可以通过Ａ的极小ｇ－逆集和最大ｇ－逆表示出来。

作为多媒体系统模型的时间Petri网的同步合成

本文用一种以出现网为基网的时间Petri网作为多媒体系统模型。这种模型便于描述和分析并行媒体流间的同步问题。文中提出了时间层次同步和同步时间差阈值等概念。同步时间差同步是时间层次同步性能的一个度量。根据实现时间层次同步的可能性,一个时间Petri网中的同步变迁可划分为三种类型:理想同步变迁、可实现有效同步的变迁和不可能实现有效同步的变迁,一个好的多媒体系统的时间Petri网模型不应存在第三类同步变迁。文中给出了这三类变迁的判定条件。

悖论思维与科学发展

悖论思想是一种探索性的辩证思维。本文阐述了对悖论和悖论思维的认识和理解 。

Petri网的进程网系统

提出了 Petri网的进程网系统的概念 .一个 Petri网的进程网系统是以其基本进程段的集合为新的变迁集 ,以各个基本进程段集的输入和输出库所集的并集为新的库所集 ,以原网系统的初始标识为初始标识而得到的网系统 ,它可以很好地描述原网系统的进程行为 .文中讨论了求取任意 Petri网的基本进程段的算法 ,该算法是通过研究网中的极小可重复向量和极小受控可重复向量在可覆盖树上的分布特征实现的 ,文中还给出了通过网结构来描述各个基本进程段之间关系的方法 ,从而求出一个 Petri网的进程网系统 .

Petri网的进程表达式与语言表达式

Petri网的语言和进程都是网系统行为的一种有效的描述手段 .对应的进程表达式和语言表达式给出了系统全体行为的约束描述 .本文首先对 Petri网的进程表达式进行了类型的划分并给出了相应的代数判定依据 ,随后证明了 Petri网的进程表达式与语言表达式的类型一致性 ,由此给出了由进程表达式求取语言表达式的算法 ,为基于 Petri网语言 (尤其是无界 Petri网 )

无界Petri网的进程表达式

借助进程网系统的概念 ,首先证明了无界Petri网Σ的进程与其进程网系统ΣP的语言之间存在一一映射关系 ,将求取Σ的进程表达式的问题转化成求取ΣP的语言问题 .由于ΣP的结构一般比较复杂 ,直接求取其语言仍然比较困难 .通过定义库所的指标函数 ,将结构复杂的ΣP分解成结构简单的子网系统 ,引入了语言的同步交运算 ,给出了利用这些子网系统求取结构复杂的ΣP语言的方法 ,从而得到了求取无界Petri网Σ的进程表达式的算法 .

简单多边形集凸包的快速算法

提出了一个简单多边形集凸包的快速算法。先求出每个简单多边形的(子)凸包,根据凸包的切线性质,从有关的子凸包中抽取一段严格单调的折线。应用归并排序方法把位于一条直线右侧的一组严格单调的折线合并成一条折线,把合并后的折线和子凸包集的外接矩形上的边连结成一条封闭折线,即一个简单多边形,使其能够把所有子凸包包围起来,最后求出这个简单多边形的凸包。算法的时间复杂度为线性O(n),并且给出一个例子进行了验证。

Petri网语言的同步交运算

Petri网语言是用于系统行为分析的有力工具 ,利用传统的语言运算并不能很好地刻画 Petri网的语言行为 .为此 ,本文给出一种新的 Petri网语言运算操作—同步交运算 ,并就网系统的分解和合成过程中的行为关系 ,分析了Petri网语言的同步交运算的作用和意义 .

用层次颜色Petri网模拟主体行为

智能主体动态动作的形式化描述是开发应用多主体系统的关键之一,目前对于主体动作的形式化描述多是基于逻辑学的描述,不易直接应用到系统开发中。该文通过利用层次颜色Petri网对市场多主体系统的模拟,提出并讨论了利用层次颜色Petri网为多主体系统建模、模拟主体行为的方法,该方法对多主体系统中主体间的各种动态关系有较好的刻画,并且通过层次化的方法减少了利用一般Petri网系统(如: P/T系统)模拟复杂系统时所遇到的难度。

袋自动机

提出了袋自动机模型和袋语言的概念,并给出了袋自动机的状态转换图;分析了袋语言重复序列在状态转换图中的反映,并划分为不变重复序列、增重复序列、减重复序列和传递重复序列,给出了袋语言的结构特性;研究了袋语言类同Chomsky文法体系中各型语言的关系,证明了正规语言类是袋语言类的真子集,袋语言类是上下文有关语言类的真子集,而袋语言类同上下文无关语言类是两个相交但互不包含的语言类,即存在不是上下文无关语言的袋语言,也存在无法用袋自动机产生的上下文无关语言.

类S-图的语言性质分析

1 引言 Petli网作为系统模拟和分析的工具已得到广泛的应用.Petri网一个变迁序列可理解为一个字符串,字符串集合为一种语言.所有可能发生的变迁序列的集合表征了一个Petri网的运行特征,可用网中可能出现的变迁序列来分析Petri网的性能.Hack[1]和Peterson[2]最早从事这方面的研究.

公平网的一组直接判断条件

本文给出直接判断一个Petri网是否是公平网的一组充分必要条件.本文给出的判断方法有以下的优点:这里提出的方法不需要先求出给定网的结构有界子网,而是直接根据原网给出判断条件,从而简化了判断一个网是否为公平网的过程.这种方法还避免了原网删去结构无界的位置后,可能使某些变迁节变为孤立节点的情况.