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