TY  - BOOK
AU  - Jensen, Kurt
AU  - Jensen,Kurt
AU  - Kristensen,Lars M
TI  - Coloured petri nets: modelling and validation of concurrent systems
SN  - 9783642002830
PY  - 2009///
CY  - Berlin [u.a.]
PB  - Springer
ER  -