TY  - RPRT
TI  - Model Checking Branching Properties on Petri Nets with Transits (Full Version)
AU  - Bernd Finkbeiner
AU  - Manuel Gieseking
AU  - Jesko Hecking-Harbusch
AU  - Ernst-Rüdiger Olderog
PY  - 2020
UR  - https://arxiv.org/abs/2007.07235
ID  - 2007.07235
ER  -