"How Petri Net Theory Serves Petri Net Model Checking: A Survey."

Karsten Wolf (2019)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics