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.
Version1.1.0compared with
Version Details
| 1.0.0 | 1.1.0 | |
|---|---|---|
| Release date | Nov 21, 2023 | Feb 07, 2024 |
| Licenses | Apache 2.0LGPL 2.1 | Apache 2.0LGPL 2.1 |
| Vulnerabilities | None | None |
Compile Changes (5)
| 1.0.0 | 1.1.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | org.bigraphs.framework » bigraph-converter | 1.0.0 | 1.1.0 |
| ~ Updated | org.bigraphs.framework » bigraph-core | 1.0.0 | 1.1.0 |
| ~ Updated | org.bigraphs.framework » bigraph-visualization | 1.0.0 | 1.1.0 |
| ~ Updated | org.eclipse.collections » eclipse-collections | 11.0.0 | 11.1.0 |
| ~ Updated | org.eclipse.collections » eclipse-collections-api | 11.0.0 | 11.1.0 |