Coloured Petri nets

Kurt Jensen
Springer-Verlag
9783540628675
3-540-62867-3