Controller Synthesis for Net Condition/Event Systems with a Solution for Incomplete State Observation. - Hanisch, Hans-Michael; Lüder, Arndt; Rausch, Mathias P. (Eur. J. Control, 1997)