Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Entwicklungssystem zur schnellen Umsetzung von Petri-Netz Modellen in eine Software-Realisierung

 
: Grinewitschus, V.; Quäck, L.; Scherer, K.

TU Braunschweig, Institut für Regelungs- und Automatisierungstechnik:
Entwurf komplexer Automatisierungssysteme '92 : Methoden, Anwendungen und Tools auf der Basis von Petri-Netzen
Braunschweig, 1992
S.119-129
Entwurf komplexer Automatisierungssysteme <2, 1992, Braunschweig>
Deutsch
Konferenzbeitrag
Fraunhofer IMS ()
development system; Entwicklungssystem; petri net; Petrinetz; Software-Realisierung

Abstract
Ausgangspunkt der Entwicklung applikationsspezifischer informationsverarbeitender Systeme ist in der Regel ein Pflichtenheft, in dem das Verhalten des zu entwerfenden Systems verbal beschrieben ist. Die Vollständingkeit, Wiederspruchsfreiheit und Ablauffähigkeit des Pflichtenhefts kann aber auf der Ebene einer verbalen Verhaltensbeschreibung nicht überprüft werden. Daher wird zur Verifikation der Verhaltensbeschreibung aus den zur Verfügung stehenden Informationen zunächst ein aus informationsverarbeitenden (Teil-)Prozessen bestehendes Petri-Netz-Modell erstellt, das unter Verwendung eines speziellen Programms ablauffähig ist. Auf diese Weise wird eine schnelle Software-Realisierung des Modells erreicht.

: http://publica.fraunhofer.de/dokumente/PX-12572.html