bigraph-toolkit-suite

bigraph-toolkit-suite/bigraphs.bigraph-framework

A Java framework for the creation and simulation of bigraphs.

4 stars 1 forks 4 watchers Java Apache License 2.0
agents bigraphs diagrammatic-methods diagrams-as-code framework java model-checking reactive-systems simulation theorem-proving visualization
View on GitHub Website
2 Open Issues Need Help Last updated: Oct 22, 2026

Open Issues Need Help

View All on GitHub
Implement Connect-by-Edge Method for Tree Hierarchies 13 days ago
enhancement help wanted
bigraph-toolkit-suite/bigraphs.bigraph-framework
4

A Java framework for the creation and simulation of bigraphs.

Java
#agents#bigraphs#diagrammatic-methods#diagrams-as-code#framework#java#model-checking#reactive-systems#simulation#theorem-proving#visualization
PureBigraphMutable: getPointsFromLink returns stale points after link edits 13 days ago
help wanted
bigraph-toolkit-suite/bigraphs.bigraph-framework
4

A Java framework for the creation and simulation of bigraphs.

Java
#agents#bigraphs#diagrammatic-methods#diagrams-as-code#framework#java#model-checking#reactive-systems#simulation#theorem-proving#visualization