Durchgängiger Entwurf diskreter Steuerungsprogramme mit Unterstützung durch formale Methoden

他说：“我不会把这些钱拿来的。”在Diesem Zeitraum sind beachtlich中进行分析和综合。这句话的意思是：我在实践中发现了一种新的方法。从西门子到西门子，从西门子到西门子再到第三步。这是一种分析和综合数学模型的理论。快速控制原型的方法已存在于自动控制技术中，解决了集成错误，解决了系统故障的问题。在RCP中的磁盘系统不是二十数字的错误S/T-Netzen basierenden Petrinetz-ZuStandsraum-modells Sollen im Rahmens des Vorhabens ebenso entwickelt Wie eine Anpassung der分析和合成这些模型。Gleichzeitig Sollen modell and Methoden gezielt für eine Gute Unterstützung des Anwders bem Entwurfsspprozess entwickelt and angepasst den.Für die Praktische Erproung an einer Fertiunggsanlage im modellma？stab，well cheüber einen Feldbus an Entwicklugsum gebung oder Automatisierungsgerät angeschlossen wird，Sollen modell and entworfene Methoden in ein vin vhandenes Petrinetz-Werkzeug Intigriert den.

Der Entwurf diskreter Steuerungen wird seit mehreren Jahrzehnten untersucht. Die Fortschritte im Bereich von Modellierung, Analyse und Synthese in diesem Zeitraum sind beachtlich. Trotzdem sind in der Praxis kaum mehr als Abwandlungen der erforschten Modellierungsmethoden zu finden. Die Unterstützung des Anwenders bei einem auf formalen Methoden abgestützten Entwurf existiert praktisch nicht in industriellen Entwicklungsumgebungen der Steuerungstechnik wie z. B. Step7 von Siemens, CoDeSys von 3S etc. Stattdessen werden Steuerungen vielfach ohne formale Absicherung entworfen. Auf der Grundlage der Petrinetz-Theorie soll eine Durchgängigkeit von der mathematischen Modellbildung einschließlich der Analyse- und Syntheseverfahren zum Einsatz beim Entwurf einer Steuerung geschaffen werden. Mit der Methode des Rapid Control Prototyping existiert in der Automatisierungstechnik ein Rahmen, der eine solche Integration erlaubt, der bisher vorwiegend bei kontinuierlich beschriebenen Systemen angewandt wird. Die für ein RCP ereignisdiskreter Systeme notwendigen Ergänzungen des auf S/T-Netzen basierenden Petrinetz-Zustandsraum-Modells sollen im Rahmen des Vorhabens ebenso entwickelt werden wie eine Anpassung der Analyse- und Synthese-Verfahren an die Modell Änderungen. Gleichzeitig sollen Modell und Methoden gezielt für eine gute Unterstützung des Anwenders beim Entwurfsprozess entwickelt und angepasst werden. Für die praktische Erprobung an einer Fertigungsanlage im Modellmaßstab, welche über einen Feldbus an Entwicklungsumgebung oder Automatisierungsgerät angeschlossen wird, sollen Modell und entworfene Methoden in ein vorhandenes Petrinetz-Werkzeug integriert werden.