Coloured Petri nets. Vol.1 : Basic concepts - Jensen, Kurt (Springer Verlag, 1997)