Abstract
Ausgehend von Betrachtungen zum nichtdeterministischen Verhalten ereignisdiskreter Prozesse wird ein nichtdeterministischer Moore-Automat als geeignete Modellierungsbasis für Steuerstrecken definiert und dessen Zusammenspiel mit einem deterministischen Steuerautomaten als Modell der Steuereinrichtung analysiert. Um diese beiden Modellformen durch Petri-Netze darstellen zu können, werden spezielle Interpretationen für Strecken- und Steuernetze eingeführt. Unter Nutzung dieser Beschreibungsmittel wird eine Methode zur Generierung (Synthese) von Steueralgorithmen aus Streckennetzen vorgestellt und an einem aus der Literatur bekannten, leicht überschaubaren Beispiel demonstriert.
Abstract
Starting with considerations on the nondeterministic behaviour of discrete event processes a nondeterministic Moore automaton as a suited basis for modelling plants is defined. Its acting together with a deterministic automaton as a model for the controller unit is analysed. In order to discribe these models by Petri nets special interpretations for so called plant nets and controller nets are introduced. By using these discription means a method for generating (synthesis) control laws from plant nets is developed and demonstrated by an example.
© 2005 Oldenbourg Wissenschaftsverlag GmbH