APA (7th ed.) Citation

Jensen, K., & Kristensen, L. M. (2009). Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Jensen, Kurt, and Lars M. Kristensen. Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

MLA (8th ed.) Citation

Jensen, Kurt, and Lars M. Kristensen. Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer Berlin Heidelberg, 2009.

Warning: These citations may not always be 100% accurate.