Schnieder, E.; Chouikha, M.; Einer, S.; Meyer zu Hörste, M.:
BASYNET - An Integrated Approach for Automated Control System Developement.
In Ehrig, H.; Reisig, W.; Rozenberg, G.; Weber, H., Hrsg.: Petri Net Technology for Communication-Based System.
Springer Verlag, S. 352-362, 2003.


This paper shows an universal approach to the design and development of discrete or hybrid discrete-continuos control systems. As means of description Petri nets are used and as method the general approach called BASYNET. Three main steps have to be fullfilled to create a control system: firstly, if it is possible, the model of the uncontrolled plant and the process objectives, which determine the requirements for the control system, have to bei formalized. The second step is the development of the formal controller model. For these tasks two different ways are possible. If the process model is formalizable, both - the formal process model and the formal process objective serve as inputs for the algorithm automated synthesis providing the formal controller model. If the process model can noct be transformed in a formal description, e. g. due to a reasonable not to handle state-space, a heuristic approach has to be used. In the third step the partitioning of the control model into Hard- and Software will be done.