In: Petri Net Technology for Communication-Based Systems, pages 352-362. Volume 2472 of Lecture Notes in Computer Science / Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg and Herbert Weber (Eds.) --- Springer-Verlag, November 2003.
Abstract: 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 BASYSNET. Three main steps have to be fulfilled 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 be 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 not 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.