一类受控Petri网的反馈控制综合方法

A FEEDBACK CONTROL SYNTHESIS METHOD FOR ACLASS OF CONTROLLED PETRI NETS

摘要: 讨论受控Petri网的一类禁止状态避免问题，该类禁止状态用广义互斥约束的形式给出．当受控Petri网的有影响不可控子网满足一定条件时，通过谓词演算，可综合出最大允许反馈控制律．最后给出一个应用实例．

Abstract: 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.