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

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.

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