Synthesis of supervisory controllers based on a novel representation of condition/event systems
Hans Michael Hanisch, Mathias Rausch · 2002
The paper presents a representation of a subclass of condition/event systems based on ordinary Petri nets and some extensions. A symbolic algorithm for controller synthesis is proposed which does not require computation of the whole state space.