Synthese von Petrinetzen aus Szenarien

从场景中合成 Petri 网

• 批准号: 40199497
• 负责人: Professor Dr. Robert Lorenz
• 金额: --
• 依托单位: Institut für Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2007
• 资助国家: 德国
• 起止时间: 2006-12-31 至 2013-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/40199497?language=en
• 关键词: Synthese; von; Petrinetzen; aus; Szenarien

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.

一个彼得雷乌斯的作品可以通过他的绘画或其他形式的绘画来完成，但也可以通过他的绘画来完成，这些绘画往往是由一个韦尔登来完成的。语义的解释是由不确定性引起的;如果图形中没有发现不确定性，那么两个Ereignisse就会发现不确定性。在理论中，我们可以发现语义学在时间上有很大的差异，韦尔登是可以理解的，它首先是在时间上的差异，在时间上的差异。Die traditionelle Vorgehensweise beim modellbasierten Systemwurf-Construktion eines Models und anschließend-explizite oder implicitite Betrachtung seines Verhaltens - wird vielfach abgelöst durch eine umgekehens weise：Das Verhalten wird zunächst formalisiert und modelliert，und das Systemmodell 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韦尔登，fehlen Verfahren für die Synthese von Petrinetzen aus halbgeordneten Verhaltensbeschreibungen.发展中国家的发展、实施和检验都是有前提的。Ausgangspunkt sind jüngere Ergebnisse des Antragstellers，die den für Erreichbarkeitsgraphen bekannten Begriff einer“Region”auf halbgeordnete zäufe verallgemeinert.他是彼得里内岑的合成人，来自半个地球上最大的地区。这是一个非常复杂的理论概念，它将被验证和实施。这将是真正的gemeinert在这里Netzklassen和Petrinetze与Erweiterungen um Zeit，Kosten usw。就像她在实践中的韦尔登。