TY  - RPRT
TI  - Coverability, Termination, and Finiteness in Recursive Petri Nets
AU  - Alain Finkel
AU  - Serge Haddad
AU  - Igor Khmelnitsky
PY  - 2021
UR  - https://arxiv.org/abs/2109.06804
ID  - 2109.06804
ER  -