TY - RPRT TI - Extended time Petri nets AU - Marcin Radom AU - Piotr Formanowicz PY - 2024 UR - https://arxiv.org/abs/2405.09208 ID - 2405.09208 ER -