Synthesis of locking controllers based on extended net condition event systems

In this paper we present an algorithm for controller synthesis for forbidden state problems. We use the approach of previous work but we use an extended model form. In this extended model form based on net condition/event systems the user can connect the signals between the modules with logical operations (AND, OR, NOT). So the modeling is easier and the models are more compact. On the other hand the algorithm for the controller synthesis is more complicated.