Strukturelle Analysetechniken für Petrinetze

Petri 网的结构分析技术

• 批准号: 118005728
• 负责人: Professor Dr. Karsten Wolf
• 金额: --
• 依托单位: Institut für Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2009
• 资助国家: 德国
• 起止时间: 2008-12-31 至 2011-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/118005728?language=en
• 关键词: Strukturelle; Analysetechniken; Petrinetze

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.

模具结构理论与理论研究（<s:1> petrinetetze），模具结构理论与理论，模具结构理论与理论，模具结构理论与理论，模具结构理论与理论，模具结构理论，模具结构理论，模具结构理论，模具结构理论，模具结构理论，模具结构理论，模具结构理论，模具结构理论，模具结构理论，模具结构理论，模具结构理论，模具结构理论，模具结构理论。Trotz der damit verbundenen Verringerung des zustanderexplosion - problems scheinen struckturelle analysis -techniken derzeit nicht mit zustanderraummethoden konkurrenzfähig zu sein。(2) die fehlende Präsentier-barkeit von Analyseresultaten f<e:1> r Nichtexperten. (1) die mangelhafte weiterf<e:1> hrung theortischer Resultate zu effizienten Algorithmen；Wir wollen diese Mängel beheen和so die Konkurrenzfähigkeit struktureller Analysetechniken wiederherstellen。Anregungsquellen fnue algorithmische Ansätze ergeben sich aus den Erfahrungen bei der zustandsaumanalyse sowie aus einigen Anwendungsgebieten, darunter der analysis von Geschäftsprozessmodellen, choreographer von Web-Services，异步Schaltkreise， Modellen生物学家system sowie von KI-Planungsproblemen。