"Proceedings of the International Workshop on Petri Nets and Software ..."

Daniel Moldt, Ekkart Kindler, Heiko Rölke (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics