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]
@article{Wolf19-11,
title = {How Petri Net Theory Serves Petri Net Model Checking: A Survey},
author = {Karsten Wolf},
year = {2019},
doi = {10.1007/978-3-662-60651-3_2},
url = {https://doi.org/10.1007/978-3-662-60651-3_2},
researchr = {https://researchr.org/publication/Wolf19-11},
cites = {0},
citedby = {0},
journal = {T. Petri Nets and Other Models of Concurrency},
volume = {14},
pages = {36-63},
}