In: Weber, Ehrig, Reisig (Eds.): Proc. of 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Systems, pages 163-170. DFG Research Group "Petri Net Technology", September 2001.
Abstract: This paper shows a 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 BASYSNET. Three main steps have to be fulfilled to create a control system: firstly, if possible, the process concept of the uncontrolled process and the process objectives, which are 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 synthesis of the formal controller model. If the process concept cannot be transformed into a formal description, for example due to a reasonable not 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.