Petri网弱公平性的判断

本文提出了弱公平网的概念，并给出了判断一个Ｐｅｔｒｉ网是否是弱公平网的一组充分必要条件。     

Petri网的局部公平性

本文提出了局部公平性和局部公平网的概念及其与其它公平网的关系,给出了局部公平网的判断条件.     

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

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

Petri网弱公平性和公平性关系的进一步研究

在Petri网中,公平性概念的引入是为了讨论网系统中两个变迁发生之间的相互关系。这种关系可以很好地反映出模拟系统的各个事件在资源竞争中的有无饥饿性问题。文中基于弱公平性和公平性的定义与联系,证明了对于有界Petri网,满足弱公平性就满足公平性;同时证明了在两类无界Petri网中,可由弱公平性推导出公平性。并进一步证明其他类型的无界Petri网是不满足公平性的,即无法从弱公平性直接推导出公平性。     

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

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

基于库所指标分解的Petri网活性与公平性分析

Petri网的分解技术是用于复杂网系统分析的一种有效手段．基于库所指标的Petri网分解方法，将一个复杂的网系统分解成结构简单的子网，分解后的子网保持原网系统的语言行为不变当且仅当具有公共变迁的子网的可达图关于公共变迁是同构的．若分解过程中保持系统的语言行为不变，则在Petri网的活性和公平性方面有着对应关系．本文基于分解给出了Petri网活性判定的充要条件和公平性判定的定理，对基于分解的复杂系统的Petri网分析方法提供了更为有效的理论和可行的技术．     

正则Petri网的研究

State equation method based on incidence matrix ,which shows the structural property of Petri Nets ,has been used widely in the reachability analysis ot Petri Nets. However,due to the state explosion, the complexity of this method increased exponentially when the rank of this incidence matrix is not full. So in this paper ,a new Petri Net model——full rank Petri Net has been proposed to solve this problem.     

Petri网共享T型子网合成公平性分析

共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径.本文研究了共享T-型子网合成对参与合成的各网系统的公平性的继承关系,给出了合成网保持公平性的充分条件.随后给出的有关制造系统设计的举例,说明了该合成方法的有效性.本文的结果可为Petri网系统合成性质的考察提供有效途径.     

T—组合Petri网络活性和公平性分析

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

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

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

模糊Petri网

本文首先把Ｐｅｔｒｉ网模糊化为一种模糊Ｐｅｔｒｉ网，它很适合用来描述具有模糊行为的并行（或并发）系统。它可用在许多应用领域，如应用在诸如大而复杂的制造系统及至社会和经济系统的模拟仿真等实际问题中。     

一类受控Petri网的反馈控制

受控Petri网是离散事件动态系统(DEDS)的一种控制理论模型.通过模型来研究实现禁止状态避免的最大允许反馈控制是DEDS控制理论中的一个重要课题.文中对受控Petri网的一个子类(非受控变迁子集的外延子网为TC网)讨论控制综合问题,给出求这类受控网中实现禁止状态避免的最大允许反馈控制的一个算法.     

公平网的活性判断

Petri网的活性判断一直是一个广为关心的问题。本文就公平网的活性进行了研究。指出如果一个公平网的有界子网是活的,那么该公平网是活的。并给出了一个公平网活的充分必要条件。     

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

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

一类受控Petri网的状态反馈逻辑的综合

将Ｈｏｌｌｏｗａｙ和Ｋｒｏｇｈ关于受控标记图的禁态控制方面的结果扩展到更广泛的一类受控Ｐｅｔｒｉ网──不可控子网为前后向无冲突的受控Ｐｅｔｒｉ网，并去掉了关于初始标记和禁态规范的限制．     

TCPN的变迁弱规则特有的调度可达决策区域及算法

针对时间限制Petri网(TCPN)采用的变迁弱激活规则和基于TCPN的动态标记,引入变迁的调度延时决策变量和决策空间概念刻画TCPN的状态可达可调度规律.这些概念及其算法揭示了TCPN网的并发分布式动态调度特征.特别是变迁弱规则固有的容许含有失败变迁的并行分布式调度问题,描述了涉及具有有效期的可释放资源类实时系统的特殊调度问题及其规律.     

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

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

TCPN的变迁弱规则特有的调度可达 决策区域及算法

针对时间限制Ｐｅｔｒｉ网（ＴＣＰＮ）采用的变迁弱激活规则和基于ＴＣＰＮ的动态标记,引入变迁的调度延时决策变量和决策空间概念刻画ＴＣＰＮ的状态可达可调度规律．这些概念及其算法揭示了ＴＣＰＮ网的并发分布式动态调度特征．特别是变迁弱规则固有的容许含有失败变迁的并行分布式调度问题,描述了涉及具有有效期的可释放资源类实时系统的特殊调度问题及其规律．