Ihlenfeldt, KarlMoldt, DanielSeifert, LukasClasen, Laif-OkeGiese, HolgerRosenthalKristina2024-03-122024-03-122024https://dl.gi.de/handle/20.500.12116/43772Die systematische Konstruktion von Systemen beinhaltet häufig die Erstellung eines Modells. Die Größe und Komplexität des Modells skaliert allerdings mit dem zu modellierenden System, was schnell zu unübersichtlichen und schwer wartbaren Modellen führen kann. Große oder komplexe Modelle werden deshalb häufig modularisiert. Die einzelnen Module werden dann zu dem Gesamtsystem zusammengeführt. Um diese Komposition des Gesamtsystems einheitlich und klar zu gestalten, hat Reisig das Konzept der Interface-Netze entwickelt, welches einen assoziativen Kompositionsoperator beinhaltet. Interface-Netze sind eine spezielle Form von Petrinetzen. Obwohl es viele Werkzeuge gibt, welche die Modellierung mit Petrinetzen unterstützen, gibt es bislang noch kein Werkzeug, dass die Modellierung mit Interface-Netzen ermöglicht. Um hierfür ein Werkzeug zu schaffen, wurde Renew, ein existierendes Werkzeug für die Modellie- rung mit Petrinetzen, erweitert. Renews Plugin-Architektur unterstützt, neue Funktionalitäten zu implementieren und dabei auf bestehende Konzepten zurückzugreifen. Das in diesem Beitrag vorgestellte Werkzeug, das Interface Nets Tool, ist eine Erweiterung Renews. Mit diesem Werkzeug ist es möglich, Interface-Netze zu modellieren und zu komponieren. Es wird auf die Funktionsweise des Werkzeuges eingegangen, sowie auf die Nutzung im wissenschaft- lichen Kontext. Das Interface Nets Tool unterstützt verschiedene Anwendungsmöglichkeiten. Neben der Kom- position großer Systeme wird auch die Abstraktion von der Implementation ermöglicht, sodass die Schnittstellen der modellierten Module im Fokus stehen. Dies lässt sich auf die Modellierung von Multiagentensystemen und Web-Service basierten Systemen übertragen.enHöhere PetrinetzeInterface-NetzeRenewModellierungKompositionModuleInterface Nets Tool: Modellierung von NetzkompositionenText/Conference Paper10.18420/modellierung2024-ws-021