Strukturelle Analysetechniken für Petrinetze

Petrinetze的结构理论是一个理论家的一个分支，它是一个系统生成的规则，而不是一个系统生成的空间。Trotz der damit verbundenen Verringerung des Zustandsexplosionsproblems scheinen strukturelle Analyse-techniken derzeit mit Zustandsraummethoden konkurrenzfähig zu sein.我们将从两个方面进行分析：（1）有效的微观理论结果的管理;（2）对微观分析结果的简单预测。我们将把这位管理员放在一边，这样就可以用更先进的结构分析技术来解决问题。Anregungsquellen für neue algorithmische Ansätze ergeben sich aus den Erfahrungen bei der Zustandsraumanalyze sowie aus einigen Anwendungsgebieten，darunter der Analyse von Geschäftsprozessmodellen，Choreographien von Web-Services，Schaltkreise，von Modellen biologischer Systeme sowie von KI-Planungsproblemen.

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.