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

Karsten Wolf. How Petri Net Theory Serves Petri Net Model Checking: A Survey. T. Petri Nets and Other Models of Concurrency, 14:36-63, 2019. [doi]

Abstract

Abstract is missing.