Group: org.bigraphs.framework - All Dependencies

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.