@misc{indiciaece46aee01ba2,
  title = {TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets},
  author = {Bruno Maria René Gonzalez and Peter Gjøl Jensen and Stefan Schmid and Jiří Srba and Martin Zimmermann},
  year = {2026},
  url = {https://arxiv.org/abs/2512.14265},
  note = {Source identifier: 2512.14265}
}