"Transactions on Petri Nets and Other Models of Concurrency XIII"

Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics