Petri网的局部公平性

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

利用关联矩阵的秩判断Petri网的公平性

本文对有界Ｐｅｔｒｉ网的公平性与分组公平性以及无界Ｐｅｔｒｉ网的公平性分别得到了利用关联矩阵的秩进行判断的一组充要条件，这些条件使用起来是非常方便的．     

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

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

弱引发规则二态加时变迁Petri网定性分析

提出了一种弱引发规则二态加时变迁Ｐｅｔｒｉ网（简称ＷＴＴＰＮ）它比Ｒａｍｃｈａｎｄａｎｉ的二态加权变迁Ｐｅｔｒｉ网（简称ＴＴＰＮ）更适于建模分析冲突结构，平行于无时间约束Ｐｅｔｒｉ网，给出了ＷＴＴＰＮ的形式描述与分析框架，据此可对它进行定性分析，进而，讨论了ＷＴＴＰＮ及其基网系统之间关系，证明了它们关于活性，有界（安全）性和可逆性等价。     

时间Petri网弱语义模型的形式化分析

时间Petri网存在强语义和弱语义两种模型,弱语义模型更适合建模和分析外部环境触发的冲突选择问题,但其形式语义和可达性分析方面的研究,却很少有人问津。利用带标号的变迁系统定义时间Petri网弱语义模型的形式语义,采用时间戳状态类方法分析它的可达性,并证明了可达性问题的可判性和状态类时间戳的全局时间性质。     

弱持续Petri网的行为与结构性质

弱持续Petri网是Petri网的一个子类,与系统的持续性密切相关.本文刻画了活的弱持续Petri网的一个行为特征,即,如果在一个标识M下两个不同的变迁t1与t2均是使能的,则存在两个变迁序列σ’与σ″满足:(1)t1σ’t2与t2σ″t1在M下是使能的,(2)t1不出现在σ″中,(3)t2不出现在σ’,并且(4)σ’与σ″的发生数向量相同.同时,本文揭示了弱持续网的两个结构特征,并证明了持续Petri网的同步合成网仍然保持持续性.这些结论丰富了Petri网的基本理论.     

流体随机Petri网与混合Petri网的比较分析

流体随机Petri网和混合Petri网作为传统Petri网的拓展,可以建模离散成分和连续成分并存的混合系统,也可用于解决离散模型的状态空间爆炸问题.由于这两种建模机制远未发展成熟,分析比较它们的异同点有助于机制本身的进一步发展完善,有助于为特定的应用选择合适的建模方法.本文讨论了流体随机Petri网和混合Petri网的定义、连续标识、分析方法、以及相互转换的可能性.结论是这两种建模机制是互补的,各自适合于特定的应用场合.     

Petri网的依赖关系

为了分析变迁不处于公平关系或弱公平关系时在运行中的依赖关系,本文提出了公平依赖和弱公平依赖的概念。研究了伪可重复向量的性质及在判断公平依赖关系时起的作用。给出了判断变迁处于公平依赖关系和弱公平依赖关系的充分必要条件。     

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

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

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

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

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

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

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

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

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

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

公平网的活性判断

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

基于Petri网的启发式生产调度

提出一种新的柔性制造系统调度方法.该方法可以通过引入测试弧增强普通Petri网的建模能力,可以对系统中的设备维护、设备优先级以及操作优先级进行建模,并进一步利用搜索算法对模型的状态转换空间进行启发式搜索得到优化调度.文中的实例展示了算法的有效性.     

基于Petri网的Web数据库访问的建模研究

本文针对用户访问Web数据库的过程进行了分析并提出改进思路，然后利用带抑止弧的扩充Petri网对改进后的访问过程进行建模。     

一种Petri网中S组件的查找算法

对Petri网的深入研究有助于基于Petri网的工作流管理系统的开发,S组件可用来刻画Petri网的一些重要特性.给出了一种在Petri网中查找S组件的算法.实验结果证明该算法是切实可行的.     

一个导弹飞行过程控制的Petri网模型

弹道式导弹是靠预先装订的弹道数据来控制飞行的.长期实践和理论研究表明,其飞行中各变量之间的关系可用一组常微分方程组来表达,而弹道数据的解算已有一套比较成熟的数值积分法.但飞行模型只能表达导弹的随时间变化而变化的状态,无法描述系统并发和异步的工作状态.提出一种基于petri网的描述系统动态性能的理论方法.它为导弹并行控制优化和控制系统性能评估提供了有效的方法.