TY  - RPRT
TI  - TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
AU  - Bruno Maria René Gonzalez
AU  - Peter Gjøl Jensen
AU  - Stefan Schmid
AU  - Jiří Srba
AU  - Martin Zimmermann
PY  - 2026
UR  - https://arxiv.org/abs/2512.14265
ID  - 2512.14265
ER  -