- authors00000
- Dr.-Ing. Dominik Grzelak Technische Universität Dresden, Fakultät Informatik, Institut für Software- und Multimediatechnik, Professur für Softwaretechnologie
- title
- How to Simulate Bigraphs Using GrGen.NET
- subtitle
- Via GrShell or C# (libGr)
- Please use the following URL when quoting:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-981731
- translated_title_ger
- Simulation von Bigraphen mit GrGen.NET : Über GrShell oder in C# (libGr)
- publication_date
- 2024
- doi
- https://doi.org/10.25368/2025.146
- Abstract (DE)
- Die Präsentation zeigt, wie sich Bigraphen mithilfe von GrGen.NET simulieren lassen. Ausgehend von einer Bigraph-Rewriting-Spezifikation (BRS) werden in einem dreistufigen Workflow zunächst Reaktionsregeln und ein Anfangsgraph modelliert, anschließend mit dem Tool BiGGer in ein GrGen.NET-kompatibles Format überführt und schließlich mittels GrShell oder in C# ausgeführt. Der Vortrag illustriert diesen Ablauf anhand des „Concurrent Append“-Beispiels und gibt einen Überblick über die Bigraph Toolkit Suite, die eine modellbasierte, verteilte und erweiterbare Softwareentwicklung für reaktive Systeme ermöglicht.
- Abstract (EN)
- The presentation demonstrates how to simulate bigraphs using GrGen.NET. Starting from a Bigraph Rewriting System (BRS) specification, a three-step workflow is followed: modeling reaction rules and an initial graph, transforming them using the BiGGer tool into a GrGen.NET-compatible format, and executing them via GrShell or in C#. The talk illustrates this process using the 'Concurrent Append' example and provides an overview of the Bigraph Toolkit Suite, which supports model-based, distributed, and extensible software development for reactive systems.
- Keywords (DE)
- bigraphs, GrGen.NET
- Keywords (EN)
- bigraphs, GrGen.NET, simulation
- Classification (DDC)
- 005
- Classification (RVK)
- ST 265
- ST 250
- ST 136
- university_publisher
- Technische Universität Dresden, Dresden
- Project sponsoring
- Deutsche Forschungsgemeinschaft Exzellenzstrategie – EXC 2050/1
Centre for Tactile Internet with Human-in-the-Loop
(CeTI)
ID: 390696704 - URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-981731
- Qucosa date of publication
- 05.08.2025
- Document type
- lecture
- Document language
- English
- licence
CC BY 4.0