Anwendungsbeispiel
Kanal-Instanz-Netz als Interpretation eines PETRI-Netzes
und Netzmorphismus ( Verfeinerung
)
Bild 5 Materialverwaltung
Hier lassen sich die Zusammenhänge zwischen S,
T u. F erklären.
Desweiteren kann auf den Netzmorphismus eingegangen
werden. Durch Verfeinerung gelangt man schließlich zu einem detailliertem,
hierachischem Systementwurf.
Bild 6 Materialverwaltung – Verfeinerte
Auslieferung
Wichtig ist hierbei, daß die Netzstruktur erhalten
bleibt, daß in einem aus Transitionen abgeleiteten
Teilnetz alle Kanten, die in das Netz führen an
Transitionen enden und alle Kanten, die hinausführen,
auf Stellen weisen.
zurück zur
Gliederung zur
3.Stunde
