Transactions on Petri Nets and Other Models of Concurrency XVIII
2026
Formal Modeling and Analysis of Timed Systems
2023
Application and Theory of Petri Nets and Concurrency
2022
Critical Systems: Formal Methods and Automated Verification
2017
Distibuted Systems
2013
Models and Analysis for Distributed Systems
2013