Open Issues Need Help
View All on GitHub enhancement help wanted
bigraph-toolkit-suite/bigraphs.bigraph-framework bigraph-toolkit-suite/bigraphs.bigraph-framework A Java framework for the creation and simulation of bigraphs.
Open project →
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
help wanted
bigraph-toolkit-suite/bigraphs.bigraph-framework bigraph-toolkit-suite/bigraphs.bigraph-framework A Java framework for the creation and simulation of bigraphs.
Open project →
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