TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets. - Bruno Maria René Gonzalez; Peter Gjøl Jensen; Stefan Schmid 001; Jirí Srba; Martin Zimmermann 002 (ATVA, 2025)