"2004" . . "Pommereau Franck. Petri nets as Executable Specifications of High-Level Timed Parallel Systems. Computational Science - ICCS, 2004, Krak\u00F3w, Poland. pp.331-338, ⟨10.1007/978-3-540-24688-6_44⟩" .