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