Coloured Petri Nets : basic concepts, analysis methods and practical use - Jensen, Kurt. (Berlin : Springer, 1997)
Include bBibliographical references
Keywords: Electronic data processing -- Distributed processing; Computer algorithms; Petri nets