A new model structure based synthesis approach for distributed discrete process control

This contribution introduces a new approach for synthesizing discrete process control. In this context, the main focus of this contribution is on a methodology to enhance the synthesis process by application of new structural analysis methods for the used formal modeling language safe Net Condition/Event Systems. These analysis methods are derived from Petri net analysis methods and adapted to the used modeling language. Furthermore, a new kind of model structure based graphical meta description of the model behavior will be introduced. This graphical representation allows system behavior analysis without exploring the whole state space and improves the application of the supposed synthesis method.