Aspekte der Modellierung und Realisierung der Steuerung technologischer Prozesse mit Petri-Netzen

Petri-Netze haben sich als bei weitem nicht einziges, wohl aber effektives Mittel zur Modellierung und Analyse von steuerungstechnischen Prozessen und zum Entwurf digitaler Systeme erwiesen. Zur Anwendung einer netzmodellorientierten Methode zum Entwurf von Automatisierungsanlagen wird einleitend der Gebrauch von Netzen zur Modellierung von Prozessen erläutert. Anhand eines Beispiels werden die Netzmodelle des zu steuernden Prozesses und der Steuerung erarbeitet und beide Netze zu einem resultierenden Netz vereint. Durch eine Zeitbewertung von Netzelementen werden zeitbehaftete Vorgänge in die Netzmodelle einbezogen. Für solche Netze werden Vorschläge zur Konstruktion der Erreichbarkeitsgraphen unterbreitet. Mit HIlfe des Markenflusses im resultierenden Netz kann dann der gesteuerte, zeitbehaftete Prozeßverlauf analysiert werden. Schließlich wird das Netzmodell der Steuerung in eine Hardware-Realisierung (verdrahtungsprogrammierte Steuerung) überführt.