TY  - RPRT
TI  - Secret Protection in Labeled Petri Nets
AU  - Stefan Haar
AU  - Tomáš Masopust
AU  - Jakub Večeřa
PY  - 2025
UR  - https://arxiv.org/abs/2511.06135
ID  - 2511.06135
ER  -