@misc{indiciae278e2b5ee560,
  title = {Secret Protection in Labeled Petri Nets},
  author = {Stefan Haar and Tomáš Masopust and Jakub Večeřa},
  year = {2025},
  url = {https://arxiv.org/abs/2511.06135},
  note = {Source identifier: 2511.06135}
}