Modellierung des Improvisationsproblems mit Hilfe der Petri-Netz-Theorie

Die Komplexität der beschriebenen Problemstellung ist sicherlich zu gewaltig, als daß Optimierungskalküle bei vernünftigem Mittel- und Zeiteinsatz vertretbar wären. Die Fragestellung, die mit ihr verbundene Netzstruktur und die angestrebten “Zulässigkeitslösungen” vermitteln die Assoziation, daß eine erfolgreiche Analyse des Problems auf der Grundlage der Petri-Netz-Theorie erfolgen kann. Eine Petri-Netzmodellierung des Flugplanes gäbe dem Improvisierer ein Instrument an die Hand, mit dem dieser schnell und systematisch alternative Lösungsvarianten auf Aspekte ihrer Zulässigkeit (“Lebendigkeit” und “Sicherheit”) testen kann. Die im Improvisationsproblem hervorstechende Koordinationsnotwendigkeit stützt die Vermutung, daß zu seiner Handhabung insbesondere auch die Darstellungsmittel und Auswertungssätze spezieller Petri-Netzklassen, vor allem die der Klasse der Synchronisations- und Zustandsnetze, Verwendung finden können.