Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (8th εκδ.)

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