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.4.0compared with
Version Details
| 2.3.6 | 2.4.0 | |
|---|---|---|
| Release date | Jan 28, 2026 | Feb 23, 2026 |
| Licenses | Apache 2.0LGPL 2.1 | Apache 2.0LGPL 2.1 |
| Vulnerabilities | None | None |
Compile Changes (6)
| 2.3.6 | 2.4.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | org.bigraphs.framework » bigraph-converter | 2.3.6 | 2.4.0 |
| ~ Updated | org.bigraphs.framework » bigraph-core | 2.3.6 | 2.4.0 |
| ~ Updated | org.bigraphs.framework » bigraph-visualization | 2.3.6 | 2.4.0 |
| ~ Updated | org.eclipse.emf » org.eclipse.emf.ecore | 2.40.0 | 2.41.0 |
| - Removed | org.json » json | 20190722 | - |
| - Removed | org.sonatype.central » central-publishing-maven-plugin | 0.8.0 | - |
Provided Changes (5)
| 2.3.6 | 2.4.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| + Added | org.sonatype.central » central-publishing-maven-plugin | - | 0.9.0 |
| ~ Updated | org.springframework.boot » spring-boot-autoconfigure | 2.3.1.RELEASE | 3.2.10 |
| ~ Updated | org.springframework.boot » spring-boot-configuration-processor | 2.3.1.RELEASE | 3.2.10 |
| - Removed | log4j » log4j | 1.2.17 | - |
| - Removed | org.slf4j » slf4j-log4j12 | 1.7.30 | - |
Test Changes (3)
| 2.3.6 | 2.4.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | org.junit.jupiter » junit-jupiter-api | 5.6.2 | 5.10.5 |
| ~ Updated | org.junit.jupiter » junit-jupiter-engine | 5.6.2 | 5.10.5 |
| ~ Updated | org.springframework.boot » spring-boot-starter-test | 2.3.1.RELEASE | 3.2.10 |
