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