A Java framework for the creation and simulation of bigraphs.
visualizationjavaframeworksimulationtheorem-provingmodel-checkingagentsreactive-systemsdiagrams-as-codebigraphsdiagrammatic-methods
-
Updated
Aug 14, 2026 - Java
#
bigraphs
Here are 7 public repositories matching this topic...
This project serves as a reference implementation of an abstract syntax specification for bigraphs.
-
Updated
Feb 23, 2026 - Java
Bigellor is a web-based editor for the visual modeling of bigraphs.
-
Updated
Sep 5, 2025 - JavaScript
This is a quickstart template for using Bigraph Framework. It provides a brief introduction on how to configure a Maven- or Gradle-based Bigraph project.
-
Updated
Aug 14, 2026 - Java
BDSL is a DSL to specify and simulate bigraphs. This project contains the grammar and language server protocol. | Interpreter: https://github.com/bigraph-toolkit-suite/bigraphs.bdsl-interpreter-parent
-
Updated
Jan 26, 2026 - Java
BiGGer is a transformation tool and library that translates bigraphical models and rules to GrGen.NET-compatible files. It enables bigraph rewriting using GrGen.NET.
-
Updated
Nov 17, 2025 - Java
Database-driven Object-oriented Bigraphs with web endpoints
-
Updated
May 4, 2026 - Java
Improve this page
Add a description, image, and links to the bigraphs topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the bigraphs topic, visit your repo's landing page and select "manage topics."