TY  - GEN
AU  - Kurt Jensen and Lars Kirstensen
TI  - Coloured Petri Nets: Modelling and Validation of Concurrent Systems
SN  - 9783642425813
PY  - 2014///
PB  - Springer
ER  -