JGraphT Ext

Core module of the Bigraph Framework.

Converter module of the Bigraph Framework. Supports various transformation of bigraphs into other model representations.

Simple visualization support for bigraphs and bigraphical reactive systems.

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.

Ikasan Visualisation Dashboard

JGraphT Demo

The Code generation for Automatiko Engine

Gradle plugin to generate graph of dependencies for package features

Linking Module