An algebraic approach to timed petri nets with applications to communication networks extended version - Lingnau, Pascal; Gabriel, Karsten; Modica, Tony (Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik, 2012)