APA (7th ed.) Citation

Jensen, K., & Kristensen, L. M. (2009). Coloured Petri Nets: Modeling and Validation of Concurrent Systems. Springer. https://doi.org/10.1007/b95112

Chicago Style (17th ed.) Citation

Jensen, Kurt, and Lars M. Kristensen. Coloured Petri Nets: Modeling and Validation of Concurrent Systems. Berlin: Springer, 2009. https://doi.org/10.1007/b95112.

MLA (9th ed.) Citation

Jensen, Kurt, and Lars M. Kristensen. Coloured Petri Nets: Modeling and Validation of Concurrent Systems. Springer, 2009. https://doi.org/10.1007/b95112.