Gabriel, K., Lingnau, P. and Ermel, C. (2012) “Algebraic Approach to Timed Petri Nets”, Electronic Communications of the EASST, 47. doi: 10.14279/tuj.eceasst.47.719.