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

PETRI NET CONTROLLER FOR DISCRETE EVENT SYSTEMS WITH UNCONTROLLABLE TRANSITIONS

作　　者：邢科义[1] 席裕庚[1] 胡保生[2] 

机构地区：[1]上海交通大学自动化研究所,上海200030 [2]西安交通大学系统工程研究所,西安710049

出　　处：《自动化学报》2001年第2期180-185,共6页Acta Automatica Sinica

基　　金：国家自然科学基金;西安交通大学机械制造系统工程国家重点实验室基金资助项目

摘　　要：考虑可用具有不可控变迁的受控 Petri网建模的离散事件动态系统 .提出了在这类系统中实现一组不等式约束的控制器的综合方法 .所提出的控制器可通过给系统 Petri网模型增加一些 Petri网元素来实现 ,其计算是建立在本文提出的 Petri网的路增益概念基础上的 .方法是系统、简单、计算量小 .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 introduced in this paper. The approach is systematic and computationally inexpensive in terms of design time and implementation complexity.

关 键 词：离散事件系统 PETRI网 路增益 控制器 

分 类 号：TP15[自动化与计算机技术—控制理论与控制工程]