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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

The use of Petri nets to analyze coherent fault trees

The use of Petri nets to represent fault trees is discussed. Using reachability and other analytic properties of Petri nets, a more general and useful method to study the dynamic behavior of the model at various levels of abstraction is examined. The problems of fault-detection and propagation are discussed. For simplicity, only coherent fault trees are considered. However, the representation and analysis techniques are general and can be used for noncoherent fault trees     

A Divide-and-Conquer Strategy to Deadlock Prevention in Flexible Manufacturing Systems

Petri nets are a popular mathematical tool to investigate the deadlock problems in resource allocation systems. As an important problem solution paradigm in computer science, the divide-and-conquer strategy is used in this paper to investigate the deadlock prevention for flexible manufacturing systems (FMSs) that are modeled with Petri nets. Based on the concept of resource circuits, a plant net model is divided into an idle subnet, an autonomous subnet, and a number of small but independent subnets, called toparchies, from the viewpoint of deadlock control. A liveness-enforcing supervisor, called toparch, is designed for each toparchy. If a particular separation condition holds in a plant net model, the computational complexity of toparches is significantly reduced. This research shows that the resultant net, called monarch, by composing the toparches derived for the toparchies can serve as a liveness-enforcing Petri net supervisor for the whole plant model. FMS examples are given to illustrate the proposed method.      

有界Petri网等价性的判定算法

Petri网语言是系统行为分析的一种重要工具,为了分析有界Petri网的行为等价,借助于有限自动机的等价性问题和算法,研究了有界Petri网的等价性问题和算法.定义了带标注Petri网语言等价性,证明了带标注的有界Petri网到有限自动机的等价转化,给出了判定有界Petri网的等价性算法,为模拟系统的性能比较提供了处理方法.     

一种基于逻辑Petri网的过程挖掘方法

逻辑Petri网是抑制弧Petri网和高级Petri网的抽象和扩展,可在过程挖掘中简洁准确的表示活动之间复杂的业务逻辑关系.本文在传统Petri网挖掘方法的基础上,为了进一步提高复杂系统挖掘模型的简洁度和拟合度,尤其是对并行活动间存在复杂与或关系的系统,提出了一种基于逻辑Petri网的过程挖掘方法,并给出了逻辑Petri网中逻辑变迁的挖掘算法.它可以充分挖掘活动之间的业务逻辑,并且业务逻辑可用逻辑表达式表示.通过与相应Petri网模型的实例比较分析,例证了本文方法的正确性和有效性,且逻辑Petri网模型更加适合日志行为.     

Petri网在系统可靠性分析中的应用

简单介绍了各种Petri网模型的定义和性质，对Petri网模型在系统可靠性分析中的基本行为描述、故障树表示与简化、故障诊断、可靠性指标的解析计算以及可靠性仿真分析等方面进行了较全面的评述，对进一步的研究方向进行了展望。     

Dependability modeling using Petri-nets

This paper describes a methodology to construct dependability models using generalized stochastic Petri nets (GSPN) and stochastic reward nets (SRN). Algorithms are provided to convert a fault tree (a commonly used combinatorial model type) model into equivalent GSPN and SRN models. In a fault-tree model, various kinds of distributions can be assigned to components such as defective failure-time distribution, nondefective failure-time distribution, or a failure probability. The paper describes subnet constructions for each of these different cases, and shows how to incorporate repair in these models     

即时消息业务中SIMPLE和IMPS的Petri网互通模型

该文提出新的Petri网耦合规则对即时消息在SIMPLE和IMPS之间的映射建立了互通Petri网模型,通过对该模型进行严格的数学分析验证,该模型满足正确的Petri网模型所应具备的所有特性,证明了该互通映射的合理性以及可行性。     

Modeling, analysis, simulation, scheduling, and control ofsemiconductor manufacturing systems: A Petri net approach

This paper presents a Petri net approach to modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems. These systems can be characterized as discrete event systems that exhibit sequential, concurrent, and conflicting relations among the events and operations. Their evolution is dynamic over time. The system complexity is tremendous owing to the complex semiconductor manufacturing processes and test procedures. A formal approach such as Petri nets enables one to describe such complex discrete event systems precisely and thus allows one to perform both qualitative and quantitative analysis, scheduling and discrete-event control of them. This paper also serves as a tutorial paper. It briefly reviews applications of Petri nets in semiconductor manufacturing automation. It then introduces definitions and concepts of Petri nets. It proceeds with a discussion of basic Petri net modules in system modeling, a modeling method and a practical system's modeling example. Next, the paper presents their properties and their implications in manufacturing systems, as well as their analysis methods. Timed Petri nets are introduced for system simulation, performance evaluation, and scheduling purposes. An application-oriented case study is presented. Finally, the paper concludes with the active research areas in applying Petri nets to design of semiconductor manufacturing systems