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

Bigraph Framework Simulation » 2.0.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.0.0compared with

Version Details

1.1.0 2.0.0
Release dateFeb 07, 2024Dec 11, 2024
LicensesApache 2.0LGPL 2.1Apache 2.0LGPL 2.1
VulnerabilitiesNoneNone

Compile Changes (5)

1.1.0 2.0.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.bigraphs.framework » bigraph-converter1.1.02.0.0
~ Updated org.bigraphs.framework » bigraph-core1.1.02.0.0
~ Updated org.bigraphs.framework » bigraph-visualization1.1.02.0.0
~ Updated org.eclipse.emf » org.eclipse.emf.ecore2.25.02.38.0
~ Updated org.eclipse.emf » org.eclipse.emf.ecore.xmi2.16.02.38.0

Test Changes (2)

1.1.0 2.0.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.junit.jupiter » junit-jupiter-api5.4.05.6.2
~ Updated org.junit.jupiter » junit-jupiter-engine5.4.05.6.2