TY - RPRT TI - Structural Liveness of Conservative Petri Nets AU - Petr Jančar AU - Jérôme Leroux AU - Jiří Valůšek PY - 2026 UR - https://arxiv.org/abs/2503.11590 ID - 2503.11590 ER -