Strukturelle Analysetechniken für Petrinetze

• Applicant: Professor Dr. Karsten Wolf
• Subject Area: Theoretical Computer Science
• Term: from 2009 to 2012
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 118005728

Die Strukturtheorie für Petrinetze ist ein einzigartiger Satz an Theoremen, die Rückschlüsse auf das Verhalten eines Systems gestatten, ohne dabei den Zustandsraum des Systems zu generieren. Trotz der damit verbundenen Verringerung des Zustandsexplosionsproblems scheinen strukturelle Analyse-techniken derzeit nicht mit Zustandsraummethoden konkurrenzfähig zu sein. Wir führen dies auf zwei Schwachpunkte zurück: (1) die mangelhafte Weiterführung theoretischer Resultate zu effizienten Algorithmen und (2) die fehlende Präsentier-barkeit von Analyseresultaten für Nichtexperten. Wir wollen diese Mängel beheben und so die Konkurrenzfähigkeit struktureller Analysetechniken wiederherstellen. Anregungsquellen für neue algorithmische Ansätze ergeben sich aus den Erfahrungen bei der Zustandsraumanalyse sowie aus einigen Anwendungsgebieten, darunter der Analyse von Geschäftsprozessmodellen, Choreographien von Web-Services, asynchroner Schaltkreise, von Modellen biologischer Systeme sowie von KI-Planungsproblemen.

• DFG Programme: Research Grants