TY  - RPRT
TI  - Computing Parameterized Invariants of Parameterized Petri Nets
AU  - Javier Esparza
AU  - Mikhail Raskin
AU  - Christoph Welzel
PY  - 2022
UR  - https://arxiv.org/abs/2103.10280
ID  - 2103.10280
ER  -