一类自动制造系统Petri网的设计方法

根据自动制造系统工件工艺规程的形式化表示及通信顺序进程，提出了自动加工系统Ｐｅｔｒｉ网的一种综合方法，为研究复杂系统Ｐｅｔｒｉ网的设计理论提供了很好的基础。     

自动制造系统规格说明语言的Petri网语义设计

研究了自动制造系统中离散事件的形式化表示方法。依助通信顺序进程设计了制造系统的规格说明语言，在给出事件的Ｐｅｔｒｉ网表示的基础上，讨论了系统语言及Ｐｅｔｒｉ网控制器的结构，可以研究具有活性、安全或有界性以及可逆性的Ｐｅｔｒｉ网控制器初始标识的设计算法。     

制造系统的Petri网建模

应用Petri网对作为离散事件动态系统的一个简单制造系统进行了建模分析,阐述了Petri网建模的主要特征及方法,介绍了Petri网在制造系统描述中的应用,并以某机器制造车间为研究对象进行了实际建模,给出了相应的Petri网模型.     

面向对象Petri网在制造系统建模中的应用

本文介绍了制造系统的概念及制造系统建模的目的和意义,针对制造系统建模的特点,利用面向对象Petri网（Object-oriented Petri Net,OOPN）对其进行建模和优化。系统地介绍了OOPN建模优点及其在系统建模中的应用现状,分析了制造系统建模特点,探讨了制造系统建模的具体流程。最后结合生产车间制造系统建模实例,进一步阐述了OOPN技术在制造系统建模中的应用。     

基于Petri网的离散事件系统建模

用Ｐｅｔｒｉ网作为建模工具,对典型的离散事件系统的建模进行了研究。     

混流制造系统的Petri网建模与仿真研究

以赋时Petri网为分析工具,将混流制造系统工艺流程、产品类型标识、缓冲区和加工时间等用基本Pe-tri网语言表示,建立了基于赋时库所Petri网的混流制造系统模型,从全局观点描述事件之间的顺序、并发和同步等关系,并基于该模型,进一步分析混流制造系统的性能,包括操作间的逻辑约束关系、资源冲突、生产能力和设备利用率等。相关实例的仿真结果证明了该模型的有效性。     

离散事件动态系统的受控Petri网控制研究

讨论了基于受控Ｐｅｔｒｉ网描述的离散事件系统的一类控制问题，包括部分观测信息下的状态标识估计，系统的状态反馈控制设计等。     

基于Petri网的制造单元建模与仿真

运用基本Petri网建立了面向仿真的、分层的制造单元模型。通过对系统的分层,使位于下层的具体加工形式可扩展;而选择层使得制造单元可以运用与零件工艺相适应的调度规则和加工形式。对模型的性能进行了分析．最后给出了以此模型为基础的仿真应用系统,通过实例验证了模型的正确性和先进性。     

基于Petri网的延迟制造供应链建模

在分析延迟制造基本理论的基础上,应用广义随机Petri网对延迟制造的整个供应链系统进行建模及仿真,通过仿真实验得出整个系统的稳态概率和马尔科夫链,实现对整个供应链系统性能的分析与评估,旨在帮助企业选择最优的供应链成员及最优的运作模式.同时,该模型可在供应链系统出现问题时,通过仿真实验检测出阻碍供应链系统运作的瓶颈,并在此基础上,进行供应链系统的流程再造以满足优化的目的,最大程度地降低企业风险,增强整个供应链系统的协调和控制能力,为企业构建最优的延迟制造供应链系统提供理论参考.     

基于Petri网的航空产品设计过程模型

通过分析航空产品设计过程的动态分解特性,提出任务驱动的产品设计过程建模.分析了IDEF0和Petri网在建模方面的优点和存在的问题,论述了设计过程的IDEF0模型向Petri网转换的原则和方法.并重点论述了设计功能单元任务流Petri网模型和设计功能单元内任务流时间Petri网模型.     

Computation of special markings of Petri nets of manufacturing systems

This paper proposes a method to find the set of dangerous markings of Petri nets based on integer programming by computing a partial set of reachability markings. The proposed method can be used to find all deadlock markings by employing the definition of deadlock markings and the structure information(P-invariant) on Petri nets. Then the state equation is used to derive the sets of bad and dangerous markings. Finally, using the Petri net model of a manufacturing system,we verify the computation of special markings(such as deadlock markings and dangerous markings). Experimental results show that the special markings can be computed by obtaining the partial reachability graph,which reduces state the space explosion problem.     

Algorithm for estimating confusion states of flexible manufacturing systems

As confusions have an impact on the multi-thread running and decision-making of flexible manufacturing systems (FMS), this paper aims to present a novel algorithm for finding all confusions of such an FMS, which can be considered as the foundation of further system modeling and control. An algebraic method is presented by analyzing the characters of confusion states, based on the available detection schemes of the subnet structure of Petri nets. The method implements state estimation of confusions by inputting a system static structure and an initial state instead of supervising system states. This result can be applied to conflict rationality analysis in the system modeling phase. Finally, an example of FMS is employed to simulate the proposed algorithm. The result shows that all confusion states of the target system can be estimated effectively by using the method.     

Petri net model for diagnosis of permanent faults of a hydraulic system

Petri net model is applied to diagnose the permanent fault of hydraulic system within the framework of interpreted Petri net. The permanent fault is described as redundant structure of the model. A definition and a theorem are proposed to determine the diagnosability of the hydraulic system. The relations bwtween the diagnosability and other structure properties are also discussed. An example of actual hydraulic system is presented and its permanent fault can be diagnosed by the proposed method efficiently.     

利用不变量综合具有不可控变迁DES的Petri网控制器

基于Petri网模型,研究在具有不可控变迁的离散事件系统中实现一组不等式约束Petri网控制器问题,给出了一类Petri网位置不变量存在的必要和充分条件,基于路增益的概念,通过构造Petri网位置不变量的方法综合一类结构无竞争Petri网的控制器。     

柔性制造系统活性监督控制器的简化设计

基于Petri网,研究了一类柔性制造系统中由可被清空的信标引发死锁的一种预防策略．将Petri网中可被清空的信标分为基本信标和从属信标,给每个基本信标添加一个控制库所．通过调节信标的控制深度变量,可控制所有的从属信标,并提出从属信标受控时所应满足的条件．通过对控制器的结构分析和优化设计,提出一种判断控制库所是否冗余的方法．通过剔除冗余的控制库所,得到了结构更为简单,许可行为更多的活性Petri网控制器．     

Petri网仿真语言的设计与研究

阐述了研究Petri网仿真语言的目的和意义，并简要地描述了Petri网仿真语言的设计及其相关问题，如性能分析、环境与工具的构造等，本文的研究对Petri网的工程应用具有基础性的重要作用。