双总线结构工业控制计算机网性能指标评估

本文对双总线结构工业控制计算机网给出了其Ｐｅｔｒｉ网和高级Ｐｅｔｒｉ网的建模及性能指标评估方法。文中考虑了信包缓冲区容量有限、信包最大允许服务时间有限、不同的站点优先级和系统总线故障率等因素影响下的网络性能指标评估问题。克服了以往对网络性能评估的某些局限。本文讨论了带计数禁止弧的高级随机Ｐｅｔｒｉ网（ＨＤＳＰＮ）的特性，并对给出的ＤＳＰＮ模型进行了仿真计算，对影响网络性能的系统指标进行了讨论。     

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

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

基于对象Petri网的离散事件系统建模仿真环境(OPMSE)

首先论述了Ｐｅｔｒｉ网和高级Ｐｅｔｒｉ网发展状况,提出了一种高级Ｐｅｔｒｉ网,即对象Ｐｅｔｒｉ网。然后介绍了基于对象Ｐｅｔｒｉ网的离散事件系统建模仿真环境ＯＰＭＳＥ。文中详细介绍了ＯＰＭＳＥ的特点与组成,并对ＯＰＭＳＥ的核心－对象Ｐｅｔｒｉ网（ＯＰＮ）的语法描述进行了重点介绍。     

离散事件系统的协调反馈控制

本文探讨以Ｐｅｔｒｉ网为模型的离散事件系统（ＤＥＳ）的某种禁止状态避免问题，提出了以Ｐｅｔｒｉ网Ｎ为基网，设计具有外部输入位置Ｐｅｔｒｉ网（ＰＮＩＰ），对Ｎ进行协调反馈控制的方法。由Ｎ现行状态反馈决定的ＰＮＩＰ的控制状态，既保证Ｎ避免禁止状态，又使Ｎ具有最大自由度。     

计算机网络的Petri网建模及性能指标评估

本文提出了用广义随机Ｐｅｔｒｉ网理论对计算机网络进行性能指标评估建模的具体规则，并给出了其相应的广义随机Ｐｅｔｒｉ网图，导出了依据广义随机Ｐｅｔｒｉ网模型（ＧＳＰＮ）对计算机网络中几个主要性能指标直接进行计算的方程，克服了以往在建模过程中的盲目性和无规则性．提出了从广义随机Ｐｅｔｒｉ网建模到进行计算机网性能指标计算的一系列方法．这些方法可有效地完成对计算机网络的建模和性能指标的计算，对分析和设计计算机网络具有普遍的指导意义．     

MPP系统模型化的广义随机Petri网技术

本文提出一种模型化海量并行处理（ＭＰＰ）系统的广义随机Ｐｅｔｒｉ网技术ＧＳＰＮ。首先，通过外延优先权标记Ｐｅｔｒｉ网，提出了ＧＳＰＮ的定义、时序规范、变迁激光规则和计算公式。然后，讨论使用ＧＳＰＮ模型化ＭＰＰ系统的技术途径和实现方案，分别阐述了ＧＳＰＮ形式化描述共享存储器方式和信息传递方式ＭＰＰ系统的有效怀，并给出了实例。此外，我们还分析和提出了ＣＳＰ（通信顺序进程）理论中主要进程与Ｐｅｔｒｉ网之     

分布式多媒体同步事务规划

文章针对分布式多媒体应用所含的复杂时态关系和分布性特性,利用同步代理构建了一个基于代理的分布式多媒体同步规划系统。并通过对传统Ｐｅｔｒｉ网的扩展,对分布式同步Ｐｅｔｒｉ网（ＤＳＰＮ）进行了定义,并利用ＤＳＰＮ对同步代理进行建模。最后通过对多媒体应用实例的分析,简要说明系统的操作流程。     

模糊Petri网在FMS故障诊断中的应用研究

针对柔性制造系统（ＦＭＳ）故障诊断的特点，将模糊Ｐｅｔｒｉ网扩展为模糊行为Ｐｅｔｒｉ网（ＦＢＰＮ）．并应用于知识的表示中，讨论了ＦＭＳ系统、ＦＢＰＮ及产生式规则之间的对应关系，提出一种模糊反向推理机制，给出了利用ＦＢＰＮ进行知识表示和推理的实例．     

一种用于柔性制造系统仿真的图形Petri网软件工具

本文致力于图形Ｐｅｔｒｉ网软件工具—ＧＰＮＳＴ软件包的设计与实现。首先介绍了ＧＰＮＳＴ的结构和功能，分析了它在Ｐｅｔｒｉ网图形编辑和网结构分析方面的能力；其次正式定义了Ｐｅｔｒｉ网的扩展—赋时着色Ｐｅｔｒｉ网（ＴＣＰＮ），并且使用ＴＣＰＮ建立了柔性制造系统（ＦＭＳ）的简化仿真模型。利用这个模型，能基本实现ＦＭＳ的动态仿真，同时显示整个仿真的过程；最后将调度算法、启发式规则、ＴＣＰＮ模型和仿真结合起来，构成一个基于专家系统的调度器，产生出虽非最优，但是具有比较好结果的可行调度，有效地解决了动态仿真中的ＦＭＳ调度问题。     

有色Petri网在网络通信协议上的应用

自１９６２年Ｃ．Ａ．Ｐｅｔｒｉ在其博士论文中首先提出Ｐｅｔｒｉ网后,Ｐｅｔｒｉ网理论和应用都取得了长足的进步。有色Ｐｅｔｒｉ网是由Ｋ．Ｊｅｎｓｅｎ提出的一种高级网系统,可以为系统建模提供强有力的支持。文章介绍了有色Ｐｅｔｒｉ网,并利用仿真工具Ｄｅｓｉｇｎ／ＣＰＮ对一个通信协议停－等协议进行分析。     

扩展时间流Petri网多媒体同步模型

多媒体同步的一个主要问题是多媒体同步时间要求的描述与建模。文中基于时间流Ｐｅｔｒｉ网模型（ＴＳＰＮ）,通过分析ＴＳＰＮ模型的不足之处,提出了一种新的多媒体同步模型－－扩展时间流Ｐｅｔｒｉ网模型（ＳＴＳＰＮ）,ＳＴＳＰＮ不但可以完全、准确地描述媒体流内和流间的时间行为,而且通过引入容许阻塞时间、问题算法等对ＴＳＰＮ进行扩展,可以有铲地克服网络随机延迟、阻塞和丢包等因素的不良影响,提高了模型的建模能力     

面向对象的Petri网方法及其在软件工程中的应用

本文介绍了面向对象Ｐｅｔｒｉ网方法，给出了ＯＯＰＮ的基本定义和图形表示，讨论了ＯＯＰＮ的特性和子网细化方法。     

棉纺故障诊断专家系统

本文给出了一种新的知识表示方法－扩展模糊Ｐｅｔｒｉ网，并讨论了基于ＥＦＰＮ的模糊推理方法以及可信度计算方法。ＥＦＰＮ在网络的定义，转换的定义以及激活规则等三个方面对传统的Ｐｅｔｒｉ网进行了扩展，使其能充分表达棉纺领域中的专家知识，同时，在ＥＦＰＮ的基础上，给出了一整套完备的推理规则及算法，根据模糊逻辑用近似推理的方法加以推理分析直至寻出故障源。对生产过程中检测所得的各种数据，则利用非中心ｔ分布，序     

PSDP：基于Petri网的软件开发范型

软件开发方法、工具及软件示范按模型的组合与实施构成完整的软件开发范型。Ｐｅｔｒｉ网模型有良好的数学基础和清晰的可视图形表示。本文将Ｐｅｔｒｉ网理论应用于软件开发过程中，提出一种基于Ｐｅｔｒｉ网的软件开发范型ＰＳＤＰ，详细介绍了ＰＳＤＰ的各个步骤，提出了出ＰＳＤＰ的优点和不足之处，最后将ＰＳＤＰ与目前已有的软件开发范型进行了比较。     

分布存储媒体传输的同步算法

分布多媒体数据库（ＤＭＤＢ）和分布多媒体信息系统（ＤＭＩＳ）的一个重要需求是多媒体同步传输．文中先分析了在ＤＭＤＢ和ＤＩＭＳ中多媒体同步传输的特点和要求，然后提出了一个能满足这些要求的同步传输方案．在这个方案中，多媒体同步关系是用动态同步Ｐｅｔｒｉ网（ＤＳＰＮ）来显式描述的；通过文中给出的同步传输算式和同步发送算法，可以在ＤＳＰＮ模型的基础上产生同步传输调度方案；同时接收端能根据实际通信状况和多媒体的同步要求，对来自多个服务器的多媒体对象进行动态同步控制．     

时间约束Petri网的可达性分析研究

时间约束Ｐｅｔｒｉ风是具有广义时间约束的一类Ｐｅｔｒｉ网。目前有关ＴＣＰＮ状态可达性的研究仅局限于一些较简单的网,本文通过对ＴＣＰＮ的进一步研究,给出了更一般的状态可达性分析方法,并讨论了一般拓扑结构ＴＣＰＮ的可调度分析。     

基于识别Petri网的机器人装配规划

本文介绍了知识Ｐｅｔｒｉ网（ＫＰＮ）的基本概念，在柔性装配系统（ＦＡＳ）中的基于ＫＰＮ的机器人规划的硬件环境和任务，以及用ＫＰＮ为机器人装配规划建模和它的运行，文中详细论述了如何建立邻接矩阵，构造与／或树图，建立邻接链表，构造ＫＰＮ，以及最后如何运行ＫＰＮ。     

多媒体系统中基于Petri网的同步模型

本文主要介绍了多媒体系统中的媒体同步技术和基于Ｐｅｔｒｉ网的多种同步模型,并讨论了交互式同步模型ＩＳＰＮ。该模型支持用户交互的多媒体同步关系描述,是一种灵活的动态规范。     

基于知识Petri网的机器人装配规划

本文介绍了知识Ｐｅｔｒｉ网（ＫＰＮ）的基本概念，在柔性装配系统（ＦＡＳ）中的基于ＫＰＮ的机器人规划的硬件环境和任务，以及用ＫＰＮ为机器人装配规划建模和它的运行。文中详细论述了如何建立邻接矩阵，构造与／或树图，建立邻接链表，构造ＫＰＮ，以及最后如何运行ＫＰＮ。     

计算机网络的Petri网建模及性能指标平估

本文提出了用户广义随机Ｐｅｔｒｉ网理论对计算机网络进行性能指标评估建模的具体规则，并给出了其相应的广义随机Ｐｅｔｒｉ网图，导出了依据广义随机Ｐｅｔｒｉ网模型对计算机网络中几个主要性能指标直接进行计算的议程，克服了以往在建模过程中的盲目性和无规则性。