A Java framework for the creation and simulation of bigraphs.
visualization java framework simulation theorem-proving model-checking agents reactive-systems diagrams-as-code bigraphs diagrammatic-methods
-
Updated
Nov 22, 2025 - Java