[2405.09208] Extended time Petri nets