Artifacts using jgrapht-ext version 1.5.2 (10)
Converter module of the Bigraph Framework. Supports various transformation of bigraphs into other model
representations.
Last Release on Jun 27, 2026
Simple visualization support for bigraphs and bigraphical reactive systems.
Last Release on Jun 27, 2026
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 Jun 27, 2026
- Prev
- 1
- Next