Petri网理论及其在自动制造系统中的应用

文中详细综述了Ｐｅｔｒｉ网理论的发展、应用领域、基本定义以及分析方法和建模方法。重点介绍了Ｐｅｔｒｉ网在自动制造系统控制中的应用、发展方向，指出了Ｐｅｔｒｉ网在自动制造系统中的应用前景和作者的看法     

Petri网在电信管理网可信性建模中的应用

介绍了ＴＭＮ（电信管理网）可信性建模的一种新的方法－Ｐｅｔｒｉ网。首先简要介绍了Ｐｅｔｒｉ网的基本概念和Ｐｅｔｒｉ网的特性分析，然后描述了用Ｐｅｔｒｉ网进行建模的一般方法并举例说明了它在ＴＭＮ可信性建模中的应用。最后还介绍了一种自动生成可信性Ｐｅｔｒｉ网模型的方法。     

用于检测数据库一致性的Petri网模型

本文通过建立事务调度的Ｐｅｔｒｉ网模型，给出了并发控制系统判断数据库一致性的形式化方法，得到了判定可串行化调度的充要条件。本方法简便、实用，大大改进了以往的方法，为实现数据库一致性的自动判定提供了前提。最后从方法学角度提出了应用Ｐｅｔｒｉ网的新方法。     

同步时序电路的增广Petri网分析

本文应用抑制弧的增广Ｐｅｔｒｉ网建立了基本门电路和常用触发器的Ｐｅｔｒｉ网模型；并运用该模型描述了同步时序电路；提出了增广Ｐｅｔｒｉ网的授权矩阵、状态转移方程和触发展次态与变迁授权条件的关系，在此基础上可对同步时序电路描述和分析，并用实例证明了该方法的有效性。     

Petri网图形的压缩存储与自动转换

本文给出了一种Ｐｅｔｒｉ网的计算机表示方法以及其图形的压缩存储／还原算法，并在此基础上对Ｐｅｔｒｉ网图形进行自动转换以产生此图的矩阵表示，这为在其上进行可达性分析和验证的自动化提供了极大的方便。     

Petri网矩阵法用于数字电路故障诊断

本文介绍数字电路的Ｐｅｔｒｉ网络模型,Ｐｅｔｒｉ网的矩阵能压缩存禽数字电路的拓扑,Ｐｅｔｒｉ网的矩阵法在数字电路故障诊断中的应用。     

同步合成网的进程特性研究

进程是反映Ｐｅｔｒｉ网动态特性的重要工具，同步合成是考察复杂Ｐｅｔｒｉ网性质的有效途径。本文研究Ｐｅｔｒｉ网同步合成过程中进程关系的特性，获得基本进程集的合成公式和进程语言的合成公式，还得到了切集，线集的有关性质，这些结果可为复杂Ｐｅｔｒｉ网动态特性的考察提供有力手段。     

随机Petri网同步并发行为的定量分析方法

传统的随机Ｐｅｔｒｉ网定量分析都是针对顺序行为的，而并发描述却是Ｐｅｔｒｉ网引以为骄傲的内容，这就形成Ｐｅｔｒｉ擅长描述并发，却没有在并发活动下分析系统的手段。本文研究同步并发机制下随机Ｐｅｔｒｉ网定量分析法，旨在改进传统的分析方法，使Ｐｅｔｒｉ网真正成为并发系统建模与分析的有力工具。     

随机petri网分析分组交换网中窗式流量控制机理

本文将随机Ｐｅｔｒｉ网与排队论相结合，对分组交换网中的窗式流量控制机理进行了描述与分析，建立了窗式流量控制机理的随机Ｐｅｔｒｉ网模型，并给出了随机Ｐｅｔｒｉ网模型的可达图及状态转移方程。为通信网的性能分析和评价提供了一种新的方法。     

局域网服务器缓冲区容量的Petri网设计方法

本文在分析局域网服务器信息缓冲区、数据包接受和发送缓冲区的相互关系基础上提出一种新的局域网服务器缓冲区设计方法─—广义随机Ｐｅｔｒｉ网方法，并给出了局域网服务器信息缓冲区的广义随机Ｐｅｔｒｉ网模型。该设计方法理论完备、严谨实用，且不再局限于追求某一边界值（上限或下限），并且避免了排队理论处理多级服务的繁琐公式。最后本文用一例题说明了这种方法的应用。     

局域服务器缓冲区容量的Petri网设计方法

本文在分析局域服务器服务缓冲区、数据包接受和发送缓冲区的相互关系基础上提出一种新的局域网服务器缓冲区设计方法－广义随机Ｐｅｔｒｉ网方法，并给出了局域网服务器信息缓冲区的广义随机Ｐｅｔｒｉ网模型。该设计方法理论完备、严谨实用，且不再局限于追求某一边界值（上限或下限）并且避免了排队理论处理多级服务的繁琐公式。最后本文用一例题说明了这种方法的应用。     

局域网服务器缓冲器容量的Petri网设计法

本文在分析局域网服务器信息缓冲区、数据包接收和发送缓冲区的相互关系基础上提出了一种新的局域网服务器缓冲区设计方法－广义随机Ｐｅｔｒｉ网方法。并针对局域网服务器信息缓冲区给出了它的广义随机Ｐｅｔｒｉ网模型。该设计方法理论完备，严谨实用，且不再局限于追求某一边界值（上限或下限），并且避免了排队理论处理多级服务的繁琐公式。最后本文用一例题说明了这种方法的应用。     

时间约束Petri网的可调度分析决策算法

时间约束Ｐｅｔｒｉ网是具有广义时间约束的一类Ｐｅｔｒｉ网。目前有关ＴＣＰＮ’ｓ可调生分析的研究仅局限于一些较简单的网,文章通过对ＴＣＰＮ’ｓ的进一步研究,给出了更一般的变中调度决策算法。     

集成电路功能测试的计算机辅助生成方法

介绍了一种ＶＬＳＩ功能测试生成的结构分析法。它采用Ｐｅｔｒｉ网作为测试序列的模型工具，通过简化Ｐｅｔｒｉ网选择不确定度最小的测试序列，以降低测试序列的复杂度，缩短计算时间。     

Petri网在帧中继与X.25协议转换中的应用

提出了一种用Ｐｅｔｒｉ网研究两种协议转换的方法。在两个提供原语的基础上，利用Ｐｅｔｒｉ网丰富的描述特性建立转换模型，与用有限状态机建立转换模型相比，简化了过程。最后，用这种方法分析了Ｘ．２５与帧中继之间的协议转换，并建立转换模型。     

基于Petri网语言的系统设计与分析

本文从Ｐｅｔｒｉ网语言着手，研究系统设计方法，提出相应的理论，建立有关策略，形成一套从用户需求到原型Ｐｅｔｒｉ网模型以及对模型的性质分析和控制的方法。通过对系统的逻辑行为及性能指标的分析比较，从而优选出好的设计方案     

有色Petri网的C^3I系统建模中的应用

Ｃ＾３Ｉ系统对现代化战争的支持越来越大，许多发达国家均投入大量人力和物力来提高Ｃ＾３Ｉ系统的性能，但是系统多维性和复杂性使得系统的建模一直是一个难点，至今还没有较好的系统化的模型产生，本文讨论了一种基于有色Ｐｅｔｒｉ网的模型的建立方法，克服了以往用普通Ｐｅｔｒｉ网建模的一些缺点。     

PN语言识别器

本文提出Ｐｅｔｒｉ网语言的若干识别算法，包括一个串行算法和二个并行算法，文中分析了算法的性能。     

SDH网络故障的告警关联分析和过滤处理方法

针对网络故障管理中的告警过滤和定位功能，简要分析网络层上ＳＤＨ告警关联性，给出故障树分析和Ｐｅｔｒｉ网方法的应用途径及其适用性，提出“负事件”机制的故障模拟方法。     

容错型令牌总线局域网建模及性能指标评估

本文对符合ＩＥＥＥ８０２．４标准的容错型令牌总线局域网给出了其Ｐｅｔｒｉ网建模及性能指标评估方法。文中考虑了具有信包重发机制、令牌最大保留时间和信包缓冲区容量有限的令牌网络的性能指标评估问题，克服了以往不能分析具有信包重发机制和令牌最大保留留时间等令牌网性能的局限。本文讨论了带计数禁止弧的确定性时延随机Ｐｅｔｒｉ网（ＤＳＰＮ）的特性，并对给出的ＤＳＰＮ模型进行了仿真计算，对影响网络性能的系统指标进