Coloured Petri nets. Vol.3 : Practical use - Jensen, Kurt (Springer Verlag, 1997)