Converter module of the Bigraph Framework. Supports various transformation of bigraphs into other model representations.

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) ...