Anwendungsbeispiel

Zusammenfassung

Zur Erläuterung der bisherigen Ausführungen soll im folgenden Kapitel 7 die in Kapitel 3 beschriebene Vorgehensweise zur Modellierung diskret gesteuerter Systeme aufgegriffen und für eine komplexere Aufgabenstellung eingesetzt werden. Die Überprüfung und die Korrektur dabei entworfener Petri-Netze werden durch die in Kapitel 5 und 6 vorgestellten Analyseverfahren unterstützt, wobei die Methoden der Graphentheorie in Kapitel 7.2 und die der linearen Algebra in Kapitel 7.3 Anwendung finden. Als Beispiel diene — wie in Abbildung 7.1 skizziert — ein vereinfacht betrachteter Umschlagbahnhof, in dem drei Portalkrane zeitlich parallel Container zwischen benachbarten Zügen umladen. Zu erkennen sind die Portalkrane A, B und C auf gemeinsamer Fahrbahn, die Container von dem Zug I auf den Zug II transportieren sollen. Dazu können die Portalkrane jeweils einen Container aufnehmen, zur Zielposition fahren und dort wieder abladen.