Tools and Algorithms for the Construction and Analysis of Systems
2019
Transactions on Petri Nets and Other Models of Concurrency XVIII
2026
TOOLympics Challenge 2023
2024
Transactions on Petri Nets and Other Models of Concurrency XVI
2022
Transactions on Petri Nets and Other Models of Concurrency XV
2021
Challenges and Opportunity with Big Data
2017