TY - RPRT TI - Petri Nets and Higher-Dimensional Automata AU - Amazigh Amrane AU - Hugo Bazille AU - Uli Fahrenberg AU - Loïc Hélouët AU - Philipp Schlehuber-Caissier PY - 2025 UR - https://arxiv.org/abs/2502.02354 ID - 2502.02354 ER -