Group: Bigraphs Framework
1.Bigraph Framework Core8 usages
org.bigraphs.framework » bigraph-core Apache +1
Core module of the Bigraph Framework.
Last Release on May 5, 2026
2.Bigraph Framework Converter5 usages
org.bigraphs.framework » bigraph-converter Apache +1
Converter module of the Bigraph Framework. Supports various transformation of bigraphs into other model
representations.
Last Release on May 5, 2026
3.Bigraph Framework Simulation4 usages
org.bigraphs.framework » bigraph-simulation Apache +1
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.
Last Release on May 5, 2026
4.Bigraph Framework Visualization4 usages
org.bigraphs.framework » bigraph-visualization Apache +1
Simple visualization support for bigraphs and bigraphical reactive systems.
Last Release on May 5, 2026
5.Bigraph Framework Documentation
org.bigraphs.framework » documentation Apache +1
Bigraph Framework Documentation
Last Release on May 5, 2026
6.Bigraph Parent Project
org.bigraphs.framework » framework-parent Apache +1
A rich framework for modeling, simulating, and verifying bigraphical reactive systems.
Last Release on May 5, 2026
