1996 Volume 9 Issue 12 Pages 598-605
This paper studies state feedback control of Petri nets under partial observation. We consider the case where a control specification is given in terms of conjunction of component predicates. For such a specification, modular feedback synthesis is useful. We first show that modular synthesis of the unique maximally permissive controller (MPC) is not always possible under partial observation. We then present a necessary and sufficient condition for the unique MPC to be constructed in a modular fashion. Moreover, we demonstrate modular synthesis of the unique MPC for a simple manufacturing system.