Schnieder, E.; Bikker, G.; Chouikha, M.; Einer, S.; Meyer zu Hörste, M.:
BASYSNET - An integrated Approach for automated Control System Design.
In: Weber, H.; Ehrig, H.; Reisig, W., Hrsg.: 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, S. 163-170, Berlin, ''5 2001. Berlin, 14.-15.09.2001.


This paper shows an universal approach to the design and development of discrete or hybrid discrete-continous control systems. As means of description are Petri nets used and as method the general approach called BASYSNET. Three main steps have to be fulfilled to crate a control system: firstly, if it posible, the process and the process objectives, which deternime the requirements for the control system, have to be formalized. The second step is the development of the formal controller model. Here are two different ways possible. If the process concept is formalizable, both - the formal process concept and the formal process objective are the inputs for the algorithm based automated synthesis of the formal controller model. If the process concept can not be transformed in a formal description, e. g. due to a reasonable not to handle statespace, a heuristic approach has to be used. In the third step the partitioning of the control model into Hard- and Software will be done.