Gabriel, K.; Lingnau, P.; Ermel, C. Algebraic Approach to Timed Petri Nets. ECEASST 2012, 47.