A rich framework for modeling, simulating, and verifying bigraphical reactive systems.
Latest Versions
21 versions →| Version ▼ | Vulnerabilities | Usages | Date | |
|---|---|---|---|---|
2.4.x | 2.4.4 |
0
| Aug 15, 2026 | |
| 2.4.2 |
0
| Jun 27, 2026 | ||
| 2.4.1 |
0
| May 05, 2026 | ||
| Show 1 more from 2.4.x | ||||
2.3.x | 2.3.6 |
0
| Jan 28, 2026 | |
| 2.3.5 |
0
| Jan 09, 2026 | ||
| 2.3.4 |
0
| Nov 22, 2025 | ||
| Show 4 more from 2.3.x | ||||
2.2.x | 2.2.1 |
0
| Sep 10, 2025 | |
| 2.2.0 |
0
| Sep 05, 2025 | ||
2.1.x | 2.1.2 |
0
| Sep 05, 2025 | |
| 2.1.1 |
0
| Aug 18, 2025 | ||
| 2.1.0 |
0
| May 16, 2025 | ||
2.0.x | 2.0.2 |
0
| Apr 20, 2025 | |
| 2.0.1 |
0
| Dec 12, 2024 | ||
| 2.0.0 |
0
| Dec 11, 2024 | ||
1.1.x | 1.1.0 |
0
| Feb 07, 2024 | |
1.0.x | 1.0.0 |
0
| Nov 21, 2023 | |