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

Maciej Koutny, Lucia Pomello, Lars Michael Kristensen (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics