The simulation module provides bigraph matching and rewriting capabilities for implementing bigraphical reactive systems. It includes a model checker and an algorithm for canonical string encoding of bigraphs.

A library for the Bigraph Toolkit Suite ecosystem providing reusable testing utilities for bigraph-driven applications.

BDSL Interpreter Framework constitute functionalities for interpreting and executing BDSL models. It is organized as multi-module Maven project, featuring the core architecture (visitor design), a command-line interface tool, and a ...

Bigraph Framework Documentation

The bigraph model provider is a library that provides common interfaces for data source/data sink infrastructures for native bigraphical applications. Generally, it provides structural facilities to transport (supply and store) ...