JENSEN, Kurt und KRISTENSEN, Lars M, 2009. Coloured Petri Nets : Modelling and Validation of Concurrent Systems. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642002847.
Elsevier - Harvard (with titles)Jensen, K., Kristensen, L.M., 2009. Coloured Petri Nets : Modelling and Validation of Concurrent Systems, 1 st ed. 2009. ed. Springer Berlin Heidelberg, Berlin, Heidelberg. https://doi.org/10.1007/b95112
American Psychological Association 7th editionJensen, K., & Kristensen, L. M. (ca. 2009). Coloured Petri Nets : Modelling and Validation of Concurrent Systems (1 st ed. 2009) [Cd]. Springer Berlin Heidelberg. https://doi.org/10.1007/b95112
Springer - Basic (author-date)Jensen K, Kristensen LM (2009) Coloured Petri Nets : Modelling and Validation of Concurrent Systems, 1 st ed. 2009. Springer Berlin Heidelberg, Berlin, Heidelberg
Juristische Zitierweise (Stüber) (Deutsch)Jensen, Kurt/ Kristensen, Lars M, Coloured Petri Nets : Modelling and Validation of Concurrent Systems, 1 st ed. 2009 , Berlin, Heidelberg 2009.