Simple visualization support for bigraphs and bigraphical reactive systems.

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.

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