TY  - RPRT
TI  - Correctness Notions for Petri Nets with Identifiers
AU  - Jan Martijn E. M. van der Werf
AU  - Andrey Rivkin
AU  - Marco Montali
AU  - Artem Polyvyanyy
PY  - 2024
DO  - 10.46298/fi.10489
UR  - https://arxiv.org/abs/2212.07363
ID  - 2212.07363
ER  -