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

FCP方法的基本思想已在第一部分作了介绍.第二部分给出了离散事件系统在最一般情况下约束的Petri网控制器的设计方法,并证明FCP方法是最大容许控制的.此外,已有文献里的自动导航车辆协调系统的例子将被用来说明FCP方法所具有的优点和特点.