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.
Latest Versions
19 versions →| Version | Vulnerabilities | Usages | Date | |
|---|---|---|---|---|
2.4.x | 2.4.1 |
1
| May 05, 2026 | |
| 2.4.0 |
1
| Feb 23, 2026 | ||
2.3.x | 2.3.6 |
1
| Jan 28, 2026 | |
| 2.3.5 |
1
| Jan 09, 2026 | ||
| 2.3.4 |
2
| Nov 22, 2025 | ||
2.2.x | 2.2.1 |
2
| Sep 10, 2025 | |
| 2.2.0 |
3
| Sep 05, 2025 | ||
2.1.x | 2.1.2 |
1
| Sep 05, 2025 | |
| 2.1.1 |
2
| Aug 18, 2025 | ||
| 2.1.0 |
2
| May 16, 2025 | ||
2.0.x | 2.0.2 |
1
| Apr 20, 2025 | |
| 2.0.1 |
3
| Dec 12, 2024 | ||
| 2.0.0 |
1
| Dec 11, 2024 | ||
1.1.x | 1.1.0 |
1
| Feb 07, 2024 | |
1.0.x | 1.0.0 |
1
| Nov 21, 2023 |
