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