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.2.1compared with
Version Details
| 2.2.0 | 2.2.1 | |
|---|---|---|
| Release date | Sep 05, 2025 | Sep 10, 2025 |
| Licenses | Apache 2.0LGPL 2.1 | Apache 2.0LGPL 2.1 |
| Vulnerabilities | None | None |
Compile Changes (5)
| 2.2.0 | 2.2.1 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | org.bigraphs.framework » bigraph-converter | 2.2.0 | 2.2.1 |
| ~ Updated | org.bigraphs.framework » bigraph-core | 2.2.0 | 2.2.1 |
| ~ Updated | org.bigraphs.framework » bigraph-visualization | 2.2.0 | 2.2.1 |
| - Removed | org.springframework.boot » spring-boot-autoconfigure | 2.3.1.RELEASE | - |
| - Removed | org.springframework.boot » spring-boot-configuration-processor | 2.3.1.RELEASE | - |
Provided Changes (2)
| 2.2.0 | 2.2.1 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| + Added | org.springframework.boot » spring-boot-autoconfigure | - | 2.3.1.RELEASE |
| + Added | org.springframework.boot » spring-boot-configuration-processor | - | 2.3.1.RELEASE |
