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

？考虑可用具有不可控变迁的受控Petri网建模的离散事件动态系统.提出了在这类系统中实现一组不等式约束的控制器的综合方法.所提出的控制器可通过给系统Petri网模型增加一些Petri网元素来实现,其计算是建立在本文提出的Petrl网的路增益概念基础上的.方法是系统、简单、计算量小.