The Bigraph Toolkit Suite constitutes comprehensive open-source software solutions
designed for the manipulation and analysis of bigraphs, bigraphical reactive systems and related technologies.

• Description: A framework written in Java for the creation and simulation of bigraphs. It contains converters, basic means for visualization, and file-based persistence. A basic model checker for bigraphical reactive systems is also included.
• Type: Framework
• Repository: bigraphs.bigraph-framework

• Description: This project serves as a reference implementation of an abstract syntax specification for bigraphs.
• Type: Specification
• Repository: bigraphs.bigraph-ecore-metamodel

• Description: Spring repository support for Connected Data Objects (CDO), a distributed shared model of Eclipse EMF.
• Type: Spring-based Framework
• Repository: spring-data-cdo

• Description: 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.
• Type: Library, command-line tool
• Repository: bigraphs.grgen-bigraphs

• Description: BDSL is a prototypical DSL to specify and simulate bigraphs.
• Type: Grammar
• Repository: bigraphs.bdsl-grammar

• Description: An extensible, prototypical interpreter for BDSL scripts.
• Type: Framework, CLI
• Repository: bigraphs.bdsl-interpreter-parent

• Description: A library for the Bigraph Toolkit Suite ecosystem that provides reusable testing utilities to support visualization, validation, and automated testing of bigraph-based models, tools, and frameworks.
• Type: Testing Library
• Repository: bigraphs.bigraphs-testing

We welcome contributions from the open-source community.

If you would like to contribute to any of our projects, please check the project's README and the contribution guidelines in the respective repositories.

If you want to report an issue, please feel free to create an issue in the relevant project's repository.

If you have any questions, or need help, please check the following resources first:

• Project Template for Bigraph Framework
  • The project skeleton for using Bigraph Framework provides a quick introduction on how to setup and configure a Maven and Gradle project. It shows how to create bigraphs and bigraphical reactive systems, and how to perform matching and rewriting.
  • Starter Project Template
• Bigraph Modelling Exercises
  • Tutorial Page
  • Project Templates

• Discussions:
  • https://github.com/orgs/bigraph-toolkit-suite/discussions

• Bigraph Vending Machine Example (Object-Oriented+Bigraphs+REST)
  • Slides
  • Demo App
• Streaming Attributes Tutorial (ROS2 + CDO)
  • Tutorial
• How to use Bigraphs for Cyber-physical Proofs
  • Slides: Proof Everything Everywhere But Not All At Once: A Robotic Case Study
• BiGGer (Bigraph Simulation):
  • Tool
  • Slides
  • Benchmark
• BDSL (Bigraph Domain-specific Language)
  • BDSL User Manual

All our projects are open-source and available under their respective licenses. Please review the specific license associated with each project in its repository.

This software was developed at the Chair of Software Technology at Technische Universität Dresden. The development was funded by the German Research Foundation (DFG, Deutsche Forschungsgemeinschaft) as part of Germany's Excellence Strategy - EXC 2050/1 - Project ID 390696704 - Cluster of Excellence "Centre for Tactile Internet with Human-in-the-Loop" (CeTI) of Technische Universität Dresden.

Thank you for your interest in the Bigraph Toolkit Suite. We hope you find our tools, frameworks and libraries valuable!