基于有限容量库所的离散事件系统的Petri网控制器综合——第1部分

针对由Petri网建模的离散事件系统, 提出了一种新的控制器设计方法. 控制器是基于有限容量库所的概念构造而成的, 并使被控对象在给定的一组线性不等式约束下运行, 而给定的线性不等式约束是定义在库所标识上的. 控制器的综合利用了有限容量库所Petri网转换为 (普通 )无限容量库所Petri网的技术. 针对约束的不同情况, 给出了相应的Petri网的控制器的设计方法.     

网简化技术在Petri网反馈控制器设计中的应用

针对基于Petri网离散事件系统库所标识不等式约束反馈控制器的设计问题,提出一项新型网简化技术--标识总量保持网简化技术,并利用此项技术把所有约束库所融合为一个与它们标识总量相等的库所,使控制器的设计更为简单,尤其是对规模较大的系统,其优势更加明显.借助一个应用实例,将该控制器设计方法与Moody等人提出的控制器设计方法作比较,表明所提出的控制器设计方法更简单、更有效.     

具有不可控变迁离散事件系统的Petri网控制器

考虑可用具有不可控变迁的受控Petri网建模的离散事件动态系统.提出了在这类 系统中实现一组不等式约束的控制器的综合方法.所提出的控制器可通过给系统Petri网模 型增加一些Petri网元素来实现,其计算是建立在本文提出的Petrl网的路增益概念基础上 的.方法是系统、简单、计算量小.     

基于Petri网结构分析的监控器综合

在基于Petri网建模的离散事件系统中, 提出利用局部关联信息进行约束转换, 并实现Petri网结构监控器综合的方法. 对以Parikh矢量约束形式给出的控制规范, 不可控不可观变迁会导致约束成为非法约束, 分析了不可控变迁的前向关联结构和不可观变迁的后向关联结构, 利用局部关联变迁实现对不可控和不可观变迁的间接控制, 从而将非法矢量约束转换为合法约束, 并保证初始控制规范的实现. 与基于矩阵的监控器综合方法相比, 本文的方法只需利用局部信息, 最后通过实例对该方法进行了说明.     

含不可控变迁的Petri网监控器设计

在基于Petri网建模的含不可控事件的离散事件系统监控器设计中,当给定的控制目标为Parikh矢量约束时,提出通过转换矩阵R将不可控变迁导致的非法不等式约束变换为允许约束,并求得相应监控器.构造矩阵方程求解R,通过矩阵方程的相容性判断R的存在性,并给出利用广义逆矩阵求解R的算法,得到对应的允许约束和监控器.同时提出代价函数,用于寻找控制观测代价最小的监控器.最后通过实例验证了该算法的正确性和有效性.     

Petri网的符号ZBDD可达树分析技术

Petri网是一种适合于并发系统建模、分析和控制的图形工具.可达树是Petri网分析的典型技术之一,它通过标识向量集合表征系统的状态空间,组合复杂性严重制约了该分析技术可处理系统问题的规模.零压缩决策图(Zero-Suppressed Binary Decision Diagrams,ZBDD)是一种新型的数据结构,是表示和处理稀疏向量集合的一种有效技术.文章基于Petri网町达标识向量的稀疏特征,给出了Petri网分析的符号ZBDD技术,该技术通过对标识向量(状态)的布尔向量表示、可达标识向最(状态)的符号ZBDD生成,实现Petri网可达状态空间的高效符号操作和紧凑符号表示.实验表明,基于ZBDD的符号可达性分析算法能够有效处理较大规模Petri网问题.     

串行加工系统Petri网控制器的形式化设计方法

提出了串行加工系统控制描述规格说明的设计方法,研究了规格说明的Petri网语 义.提出了系统Petri网控制器具有活性等希望性质的初始标识的确定算法.这样的Petri网 控制器经编译或算法转换可直接对系统进行实时控制.     

可重构制造系统监督控制器的自动重构

提出了基于改进的网重写系统(Improved net rewriting system, INRS)的可重构制造系统(Reconfigurable manufacturing systems, RMS) Petri网监督控制器的自动重构方法, 以快速适应由市场需求变化所引起的制造系统构形的频繁变化. INRS解决了网重写系统存在的问题, 可动态调整给定Petri网模型的结构而不改变其行为属性. 以集合和图的组合形式定义了RMS的构形, 并提出了基于INRS的一类模块化、可重构的Petri网控制器的设计方法. 针对这类Petri网控制器, 提出了基于INRS的自动重构方法. 方法可将RMS构形的变化转变为INRS的图重写规则, 并作用于当前Petri网控制器, 使其快速、自动地重构为所求的新控制器. 所提出的Petri网控制器的设计与重构方法, 均从理论上保证了结果的正确性, 免校验. 仿真研究验证了方法的有效性.     

一种基于进程验证的Petri网可达性判定方法

为了解决Petri网的可达性判定问题,提出了一种基于进程验证的可达性判定方法.通过分析Petri网基本进程段子段间偏序关系,该方法提出原子进程段概念,求得原子进程段集及其偏序关系集作为可达性判定的验证对象.基于原网状态方程解向量、原子进程段T-向量的线性纯整数规划问题解,选取该解中非零分量对应的原子进程段子集作为待验进程段集,选取待验进程段间的偏序关系子集作为待验推理规则集,通过验证是否存在这两个集合上的以初始标识M0为推导初态、目的标识Md为推导终态的序列而判定(M0,Md)是否可达.分析表明该可达性判定算法的时间复杂度是依赖于原子进程段集规模的,最坏情况下不超过变迁集规模.     

基于矩阵方法的有界Petri网系统的能观性分析

Petri网和有限自动机是离散事件动态系统的两类主要研究内容.而Petri网系统的能观性分析与判别是基于Petri网的实际系统设计、优化、监测及控制的重要基础.以往关于Petri网能观测性的研究缺乏定量化的充要判别条件.本文利用代数矩阵方法研究了带有输出的有界Petri网系统的能观性问题.首先,基于矩阵的半张量积,将带有输出的有界Petri网系统的动态行为以线性方程组的形式建立了数学模型.然后,针对初始标识和当前标识,介绍了两种能观性定义.最后,基于矩阵运算建立了关于有界Petri网系统能观性的几个充分必要条件,并给出严格证明.数值算例验证了理论结果.本文提出的方法实现了有界Petri网系统能观性的矩阵运算,易于计算机实现.     

Control Synthesis of Petri Nets Based on S-Decreases

A method for constructing a controller for a discrete event system modeled by a Petri net is presented in this paper. The control specification of the system is given by a set of linear inequality constraints defined on the marking of the net. The controller that forces the net to obey the constraints is an extended Petri net, which is synthesized based on minimal support S-decreases. The method can deal with general Petri nets with uncontrollable transitions, and then provides a systematic way for synthesizing net-based controllers for discrete event systems.     

Synthesis of supervisors enforcing general linear constraints in Petri nets

Efficient techniques exist for the design of supervisors enforcing constraints consisting of linear marking inequalities. This note shows that without losing the benefits of the prior techniques, the class of constraints can be generalized to linear constraints containing marking terms, firing vector terms, and Parikh vector terms. We show that this extended class of constraints is more expressive. Furthermore, we show that the extended constraints can describe any supervisor consisting of control places arbitrarily connected to the transitions of a plant Petri net (PN). The supervisor design procedure we propose is as follows. For PNs without uncontrollable and unobservable transitions, a direct method for the design of a PN supervisor that is least restrictive is given. For PNs with uncontrollable and/or unobservable transitions, we reduce the problem to the design of supervisors enforcing linear marking inequalities.     

Petri net supervisors for DES with uncontrollable and unobservabletransitions

A supervisor synthesis technique for Petri net plants with uncontrollable and unobservable transitions, that enforces the conjunction of a set of linear inequalities on the reachable markings of the plant, is presented. The approach is based on the concept of Petri net place invariants. Each step of the procedure is illustrated through a running example involving the supervision of a robotic assembly cell. The controller is described by an auxiliary Petri net connected to the plant's transitions, providing a unified Petri net model of the closed-loop system. The synthesis technique is based on the concept of admissible constraints. Procedures are given for identifying all admissible linear constraints for a plant with uncontrollable and unobservable transitions, as well as methods for transforming inadmissible constraints into admissible ones. A technique is described for creating a modified Petri net controller that enforces the union of all of these control laws. The method is practical and computationally inexpensive in terms of size, design time, and implementation complexity     

State‐Feedback Control for a Class of Timed Petri Nets Subject to Marking Constraints

The paper contributes with an original method of designing a control for discrete event systems modeled by a class of timed Petri nets. Precisely, this work deals with the closed loop control of Timed Event Graphs (TEGs) under specifications expressed with linear marking constraints. The objective of the controller is to limit the number of tokens in some places of these TEGs. The behavior of TEGs is represented by a system of difference equations that are linear in Min‐Plus algebra and the constraints are described by a set of inequalities, which are also linear in Min‐Plus algebra. A formal approach to design control laws that guarantee compliance with these marking constraints is proposed. For this, two sufficient conditions for the existence of control laws are proposed. The computed controls are causal feedbacks, which can be represented by a set of marked and timed places. The proposed method is illustrated in two applications: a manufacturing production line and an assembly system.     

Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems

In this paper, a deadlock prevention policy for flexible manufacturing systems (FMS) is proposed, which can obtain a maximally permissive liveness-enforcing Petri net supervisor while the number of control places is compressed. By using a vector covering approach, the sets of legal markings and first-met bad markings (FBM) are reduced to two small ones, i.e., the minimal covering set of legal markings and the minimal covered set of FBM. A maximally permissive control purpose can be achieved by designing control places such that all markings in the minimal covered set of FBM are forbidden and no marking in the minimal covering set of legal markings is forbidden. An integer linear programming problem is designed to minimize the number of control places under an assumption that a control place is associated with a P-semiflow. The resulting net has the minimal number of control places on the premise that the assumption holds, and possesses all permissive states of a plant. The only problem of the proposed method is its computational complexity that makes it inapplicable to large-scale Petri net models. An FMS example from the literature is presented to illustrate the proposed method.     

Petri网的硬件实现

Petri网是异步并发现象建模的重要工具,Petri网的硬件实现将为并行控制器的设计提供有效的途径.给出了几种Petri网系统的硬件实现方法,包括带抑制弧和允许弧的C/E系统、P/T系统、T-时延Petri网系统;给出了硬件实现中非纯网的处理方法.首先讨论实现各种Petri网的逻辑电路;然后用ABEL语言对逻辑电路进行描述;最后给出了一个用解释Petri网描述的服务系统的例子,说明如何使用硬件(CPLD)实现的方法.实验结果表明了上述方法的正确性.这对于离散事件动态系统控制器的设计,尤其是片上并行控制器、多处理器芯片的设计都具有十分重要的意义.     

Observability of place/transition nets

We discuss the problem of estimating the marking of a place/transition (P/T) net based on event observation. We assume that the net structure is known while the initial marking is totally or partially unknown. We give algorithms to compute a marking estimate that is a lower bound of the actual marking. The special structure of Petri nets allows us to use a simple linear algebraic formalism for estimate and error computation. The error between actual marking and estimate is a monotonically nonincreasing function of the observed word length, and words that lead to error are said to be complete. We define several observability properties related to the existence of complete words, and show how they can be proved. To prove some of them, we also introduce a useful tool, the observer coverability graph, i.e., the usual coverability graph of a P/T net augmented with a vector that keeps track of the estimation error on each place of the net. Finally, we show how the estimate generated by the observer may be used to design a state feedback controller for forbidden marking specifications.     

Observer-based state-feedback control of timed Petri nets with deadlock recovery

This paper discusses the problem of controlling a timed Petri net whose marking cannot be measured but is estimated using an observer. The control objective is that of enforcing a set of generalized mutual exclusion constraints (GMEC) and all transitions are assumed to be controllable. We show that the use of marking estimates may significantly reduce the performance of the closed-loop system and in particular may lead to a deadlock. First, we present a linear algebraic characterization of deadlock markings based on siphon analysis. Second, we show how this characterization may be used to derive a procedure that may be invoked to recover from a controller induced deadlock. Finally, we assume that the timing delays associated to transitions are known and show how this knowledge can be used to improve the marking estimate and to recover the net from partial deadlocks. This procedure is similar to the one used for deadlock recovery and may be invoked whenever a transition has not fired for a time longer than its expected delay.