一个拟PETRI网建模模型

本文利用ＰＥＴＲＩ网和自动机理论，为ＥＡＲ数据模型的数据库设计，建立一个拟ＰＥＴＲＩ网的设计方法，并构造一个建模模型，为数据库辅助设计提供基础框架结构。     

分布式系统死锁的Petri网分析

阐述了分布式系统中的死锁问题，采用Petri网对分布式系统中的死锁进行分析，给出了几种解决死锁的模型，并分析了这些模型的优缺点，指出了分析和解决死锁的一般方法。     

计算An^m的增广PETRI网模型

本文同时给出了计算 A_n~m 和 N~m 的两个增广 Petri 网模型,引进了循环算法的思想,给出了矩阵描述和状态方程分析,最后导出了已知输入值求出输出值的算法。     

PETRI网工具——GPNT的设计与实现

Petri网是描述和分析含有并行成分的系统动态特征的重要模型。随着Petri网理论研究的不断深入和在各实际领域的广泛应用,作为支持Petri网本身的设计与分析的计算机辅助工具的研究就显得十分重要。GPNT(Graphic Petri Net Tools)是西北大学计算机科学系研制的一个具有图形功能的Petri网工具软件,用于支持P/T网的设计、动态模拟及特性分析等。本文概要地介绍了该系统的功能并讨论了系统设计与实现中的若干技术问题。     

基于Petri网模型的FMS死锁结构

死锁是柔性制造系统中容易发生的异常现象,如不加以消除,将会导致整个系统的瘫痪.文中通过Petri网模型对FMS的结构分析,揭示出导致FMS死锁的结构元素和活性特征,在此基础上,提出了FMS的无死锁Petri网控制器算法,并举例说明这种控制器算法在FMS中的应用.     

并发操作系统中基于有色Petri网的死锁检测与避免

1.引言系统的并发性与资源的共享性是并发操作系统的主要特征,其目的是最大限度地提高计算机资源的利用率。死锁是并发操作系统必须解决的一个重要问题。人们试图用不同的方法来解决死锁问题。如Dijkstra提出的有名的死锁避免的“银行家算法”,Coffman等人给出的死锁检测算法。 Petri网模型作为模拟与分析并发、异步、分布式系统的一种有效工具,已被用于解决操作系统中的许多问题。如进程通讯中的生产者/消费者问题、哲学家用餐问题,资源竞     

浅谈操作系统中的死锁问题

如何进行合理的资源分配,使操作系统的主要任务之一。本文将着重讨论操作系统在处理资源分配过程中的死锁问题,并给出适当的解决方法。     

浅谈操作系统中的死锁问题

如何进行合理的资源分配,使操作系统的主要任务之一。本文将着重讨论操作系统在处理资源分配过程中的死锁问题,并给出适当的解决方法。     

PETRI网描述的VPML语义

企事业过程建模系统EPMS（Enterprise Process Modeling System）以可视化过程建模语言VPML（Visual Process Modeling Language）为基础,用于过程模型建造和过程模型模拟。VPML语义的正确性与完备性是得到可靠的过程模型的基本保证。文章以枚举法为基础,利用PETRI网描述VPML的所有语义,证明其语义的正确性与完备性。利用二者之间建立的映射关系,将VPML建立的模型转换为PETRI网描述,借助于PETRI网工具可进行系统性能分析,提高产品开发的可靠性。     

推理维护系统的Petri网模型

本文为推理维护系统引入一种Ｐｅｔｒｉ网模型并对有限非单调理论应用Ｐｅｔｒｉ例分析方法．本文提议的模型不但能描述推理维护系统，而且可用网论与网技术分析推理维护．对于一组给定的非单调规则我们给出一个算法可求得其外延，我们还给出一个算法可发现系统的不一致性．我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的．     

调度问题的压缩Petri网（RePN）模型研究

本文提出了一种新的Ｐｅｔｒｉ网模型－压缩Ｐｅｔｒｉ网（ＲｅＰＮ）模型，用于调度问题的建模和求解，与以前的模型相比，ＲｅＰＮ模型不仅具有较强的分析能力，而且大大减少了节点数，使可达集杨应减小，从而为搜索调度问题的最优解或近优解提供了方便。     

基于着色Petri网构建AFM范式的形式化模型AFM-CPN

针对重用已有的软件模型与资源高效地开发软件的要求,软件产品线编程范式是一种可行的解决方案。方面化特征模块AFM(Aspectual Feature Module)编程范式是一种最新提出的软件产品线编程范式,它引入了AOP编程范式,将系统基于特征而非角色划分能够获得重用性更强的设计。Petri网能够利用一种图形化的表示方法进行系统建模,而且提供理论上的验证机制。把Petri网引入到AFM范式当中,这样既可以根据迭代的方式构建所需的AFM模块以降低建模的规模和复杂度,也可以利用Petri网来实现AFM范式的形式化验证。     

基于Petri网的协议并行化处理模型的描述和验证

本文提出了一个ＯＳＩ／ＲＭ运输层协议并行处理模型，以适应协议的高效处理，根据模型特点，使用Ｐｅｔｒｉ网作为形式化描述工具，对该模型进行描述，分析和验证。     

模糊Petri网

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

Petri网的标注可达

本文基于Petri网的可达树的概念,给出标注可达树定义,并且证明网N与其标注可达树是一一对应的,然后,我们给出了网N与相应的标注可达树的相互转换算法。     

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

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

一类受控Petri网的反馈控制

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

一类具有约束的赋时Petri网的鲁棒性研究

研究一类可以用(max,min,+)等代数运算描述的具有约束的赋时Petri网的性能鲁棒性.首先给出了此类Petri网的统一的代数描述,并将性能鲁棒性问题形式化.接着给出了参数区间摄动情形下性能保持鲁棒性的一个充分条件.对于仅包含(min,+)和(min,max)运算的特殊情形,得到了参数区间摄动情形下性能保持鲁棒性的充分必要条件.     

公平网的活性判断

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