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

Bigraph Framework Simulation » 2.3.0

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.0compared with

Version Details

2.2.1 2.3.0
Release dateSep 10, 2025Oct 10, 2025
LicensesApache 2.0LGPL 2.1Apache 2.0LGPL 2.1
VulnerabilitiesNoneNone

Compile Changes (7)

2.2.1 2.3.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated com.google.guava » guava31.1-jre33.4.8-jre
~ Updated org.bigraphs.framework » bigraph-converter2.2.12.3.0
~ Updated org.bigraphs.framework » bigraph-core2.2.12.3.0
~ Updated org.bigraphs.framework » bigraph-visualization2.2.12.3.0
~ Updated org.eclipse.emf » org.eclipse.emf.ecore2.38.02.40.0
~ Updated org.eclipse.emf » org.eclipse.emf.ecore.xmi2.38.02.39.0
~ Updated org.jgrapht » jgrapht-ext1.5.11.5.2

Test Changes (1)

2.2.1 2.3.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated commons-io » commons-io2.11.02.20.0