摘要
讨论受控Ｐｅｔｒｉ网的一类禁止状态避免问题，该类禁止状态用广义互斥约束的形式给出．当受控Ｐｅｔｒｉ网的有影响不可控子网满足一定条件时，通过谓词演算，可综合出最大允许反馈控制律．最后给出一个应用实例．
A synthesis method for a class of controlled Petri Nets is discussed in this paper.The maximal permissive feedback control is given via predicate calculation. An example is given to demonstrate the validity of the method.
出处
《信息与控制》
CSCD
北大核心
1998年第5期331-335,共5页
Information and Control
基金
国家自然科学基金
863高技术基金
关键词
PETRI网
反馈控制
离散事件系统
controlled Petri nets, maximal permissive feedback control, predicate
