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

摘要

In this paper we consider discrete event dynamic systems represented by controlled Petri nets with some uncontrollable transitions. A method for synthesizing a controller is presented,which enforces a set of linear inequality constraints on the reachable markings of the system Petri net model. The controller is implemented by adding some Petri net elements into the system Petri net model and is computed based on the Petri net concept of path gains first introduced in this paper. The approach is systematic and computationally inexpensive in terms of design time and implementation complexity.%考虑可用具有不可控变迁的受控Petri网建模的离散事件动态系统. 提出了在这类系统中实现一组不等式约束的控制器的综合方法. 所提出的控制器可通过给系统Petri网模型增加一些Petri网元素来实现, 其计算是建立在本文提出的Petri网的路增益概念基础上的. 方法是系统、简单、计算量小.