Bigraph Framework - Converter · Converter module of the Bigraph Framework. Supports various transformation of bigraphs into other model representations.
Bigraph Framework - Core · Core module of the Bigraph Framework.
Bigraph Framework - Simulation · Rewriting functionality of the Bigraph Framework for implementing bigraphical reactive systems. A matching algorithms for the subtree isomorphism problem adapted to bigraphs is included.
Bigraph Framework - Visualization · Simple visualization support for bigraphs and bigraphical reactive systems.
Bigraph Parent Project · A rich framework for creating bigraphs and the simulation and model checking of bigraphical reactive systems.
