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

Synthesis of Petri nets controller for discrete event systems based on finite capacity places-Part 1

中文关键词  离散事件系统  控制器综合  Petri网  有限容量库所

英文关键词  discrete event systems  controller synthesis  Petri nets  finite capacity places

中文摘要

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

英文摘要

      A novel method of controller design for discrete event systems (DES) modeled by Petri nets (PN) is presented. The controller is constructed based on the concept of finite capacity places such that the plant evolves under the constraint of linear inequalities defined on the place marking. The synthesis procedure of the controller exploits the transformation technique of finite capacity Petri net to an infinite one. PN controller synthesis algorithms are presented for different cases of the constraint.\;