TY  - RPRT
TI  - SMPT: A Testbed for Reachability Methods in Generalized Petri Nets
AU  - Nicolas Amat
AU  - Silvano Dal Zilio
PY  - 2023
DO  - 10.1007/978-3-031-27481-7_25
UR  - https://arxiv.org/abs/2302.14741
ID  - 2302.14741
ER  -