Synthese von Petrinetzen aus Szenarien

Das Verhalten eines Petrinetzes kann gegeben sein durch die scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder scholder werden。解析解析解析解析解析解析解析解析解析Unabhängigkeit；zwei Ereignisse finden unabhängig statt，当我们在石墨烯的夜间研究中发现。Während derartige halbgeordnete Semantiken in der Theorie seit langer Zeit betrachtetetetetewerden, finden sie erst in jengerer Zeit in Anwendungen Beachtung, insbesondere inden Bereichen Geschäftsprozessmodellierung, Webdienste and engebettete Systeme, meist in Form verschiedener Varianten von soquenzdiagram。死traditionelle Vorgehensweise贝姆modellbasierten Systementwurf——Konstruktion进行上一次和anschließ不可或缺explizite奥得河implizite Betrachtung盛Verhaltens——将vielfach abgelost军队一张umgekehrte Vorgehens威尔斯:Das Verhalten将zunachst formalisiert和modelliert,和Das Systennmodell将daraus anschließ结束automatisch synthetisiert。Während r Petrinetze entsprechende syntheseverfarren f<e:1> r Schrittfolgen和erreichbarkeitgraphen bekant sind und der Praxis eingesetzt werden， fehlen verfarren f<e:1> r die Synthese von Petrinetzen和halbgeordneten verhaltensbeschrebungen。3 . Die Entwicklung dertrigger Verfahren, the Implementierung and Erprobung ist Gegenstand dieses Vorhabens。Ausgangspunkt sind jngere Ergebnisse des Antragstellers, die den den Erreichbarkeitsgraphen bekannten Begriff einer "Region" auf halbgeordnete Abläufe verallgemeinert。Damit ist . die Synthese von Petrinetzen aushalbgeordneten Abläufen grundsätzlich regionenbasiert möglich。这一理论具有可验证性和可实施性。这是一种普遍存在的现象：höhere Netzklassen和auf Petrinetze miterweterungen um Zeit， Kosten usw。在《实践》中，我们看到了这一点。

Das Verhalten eines Petrinetzes kann gegeben sein durch die Menge seiner Schalt- oder Sehrittfolgen, durch Erreichbarkeitsgraphen, aber auch durch halbgeordnete Ereignismengen, die oft als beschriftete azyklische Graphen dargestellt werden. Die zuletzt genannte Semantik erlaubt die explizite Darstellung von kausaler Unabhängigkeit; zwei Ereignisse finden unabhängig statt, wenn sie im Graphen nicht geordnet sind. Während derartige halbgeordnete Semantiken in der Theorie seit langer Zeit betrachtetet werden, finden sie erst in jüngerer Zeit in Anwendungen Beachtung, insbesondere in den Bereichen Geschäftsprozessmodellierung, Webdienste und Eingebettete Systeme, meist in Form verschiedener Varianten von Soquenzdiagrammen. Die traditionelle Vorgehensweise beim modellbasierten Systementwurf - Konstruktion eines Modells und anschließende explizite oder implizite Betrachtung seines Verhaltens - wird vielfach abgelöst durch eine umgekehrte Vorgehens weise: Das Verhalten wird zunächst formalisiert und modelliert, und das Systennmodell wird daraus anschließend automatisch synthetisiert. Während für Petrinetze entsprechende Syntheseverfahren für Schrittfolgen und Erreichbarkeitsgraphen bekannt sind und in der Praxis eingesetzt werden, fehlen Verfahren für die Synthese von Petrinetzen aus halbgeordneten Verhaltensbeschreibungen. Die Entwicklung derartiger Verfahren, ihre Implementierung und Erprobung ist Gegenstand dieses Vorhabens. Ausgangspunkt sind jüngere Ergebnisse des Antragstellers, die den für Erreichbarkeitsgraphen bekannten Begriff einer "Region" auf halbgeordnete Abläufe verallgemeinert. Damit ist die Synthese von Petrinetzen aus halbgeordneten Abläufen grundsätzlich Regionen-basiert möglich. Das bislang entwickelte theoretische Konzept wird verfeinert und implementiert. Es wird verallgemeinert auf höhere Netzklassen und auf Petrinetze mit Erweiterungen um Zeit, Kosten usw., wie sie in der Praxis eingesetzt werden.