- Titel
- How to Simulate Bigraphs Using GrGen.NET
- Untertitel
- Via GrShell or C# (libGr)
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-981731
- Übersetzter Titel (DE)
- Simulation von Bigraphen mit GrGen.NET : Über GrShell oder in C# (libGr)
- Erstveröffentlichung
- 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.
- Freie Schlagwörter (DE)
- bigraphs, GrGen.NET
- Freie Schlagwörter (EN)
- bigraphs, GrGen.NET, simulation
- Klassifikation (DDC)
- 005
- Klassifikation (RVK)
- ST 265
- ST 250
- ST 136
- Publizierende Institution
- Technische Universität Dresden, Dresden
- Förder- / Projektangaben
- Deutsche Forschungsgemeinschaft (DFG)
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
- Veröffentlichungsdatum Qucosa
- 05.08.2025
- Dokumenttyp
- Vorlesung/Vortrag
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0