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

Kurt Jensen et al. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics