Coloured Petri nets basic concepts, analysis methods, and practical use - Jensen, Kurt
Schriftenreihe später u.d.T.: Monographs in theoretical computer science