Formale Synthese verteilter Prozesssteuerungen

在现实生活中，他们以日克利舍尔、哈伯恩登和祖斯滕贝格根的形式出现在一起。Zusätzlich zur Spezifikation Mittels halbgeordneter Abläufe是Mglichkeiten zur Spezifikation von verbotenüber Werkstückeigenschaften and Strecenverhalten vorgesehent and Form von Fakten darsterellt.在这一过程中，我们不会因此而改变，也不会因此而爆炸。他说：“这是一件非常重要的事情。”他死在了国家的末日，死在了国家末日的末日。在国际电工委员会61499überführt的应用中，斯图尔伦根将实现自动化。

Ziel des beantragten Vorhabens ist es, verteilte Steuerungen zu synthetisieren, die gemeinsam Spezifikationen in Form zyklischer, halbgeordneter Folgen von Zuständen und Zustandsübergängen in der Strecke realisieren. Zusätzlich zur Spezifikation mittels halbgeordneter Abläufe werden Möglichkeiten zur Spezifikation von Verboten über Werkstückeigenschaften und Streckenverhalten vorgesehen und in Form von Fakten dargestellt. Durch Bestimmung erweiterter Transitioneninvarianten sowie die Verwendung von Fakten werden Kriterien ermittelt, die die Zustandsexplosion bei der Bestimmung spezifikationserfüllender Trajektorien im Streckenmodell wirksam verhindern. Aus den spezifikationserfüllenden Streckentrajektorien wird das sie bewirkende Steuerungsverhalten generiert und auf einer festgelegten Architektur verteilt. Damit entstehen Komponentensteuerungen für Teilstrecken und eine zentrale Koordinationssteuerung, die in der zweiten Phase des Forschungsvorhabens dezentral realisiert wird. Das Steuerungs- und Kommunikationsverhalten der entsprechenden Steuerungen wird automatisch in eine verteilte Applikation nach IEC 61499 überführt.