TY - RPRT TI - Infinite precedence graphs for consistency verification in P-time event graphs AU - Davide Zorzenon AU - Jörg Raisch PY - 2025 UR - https://arxiv.org/abs/2504.05056 ID - 2504.05056 ER -