Coloured Petri nets are a backward compatible extension of the mathematical concept of Petri nets.