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.