K. Gabriel, P. Lingnau, and C. Ermel, “Algebraic Approach to Timed Petri Nets”, eceasst, vol. 47, Jul. 2012.