Home » org.bigraphs.framework » bigraph-simulation » 2.3.2 » Changes

Bigraph Framework Simulation » 2.3.2

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.
Version2.3.2compared with

Version Details

2.3.1 2.3.2
Release dateNov 12, 2025Nov 16, 2025
LicensesApache 2.0LGPL 2.1Apache 2.0LGPL 2.1
VulnerabilitiesNoneNone

Compile Changes (3)

2.3.1 2.3.2
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.bigraphs.framework » bigraph-converter2.3.12.3.2
~ Updated org.bigraphs.framework » bigraph-core2.3.12.3.2
~ Updated org.bigraphs.framework » bigraph-visualization2.3.12.3.2

Test Changes (1)

2.3.1 2.3.2
ChangeGroup / ArtifactPreviousCurrent
+ Added org.bigraphs.testing » bigraphs-testing-0.2.0