TY  - BOOK
AU  - Jensen,Kurt
TI  - Coloured petri nets
PY  - 1997///
CY  - Berlin
PB  - Springer
N1  - v. 1: Basic concepts, analysis methods and practical use
ER  -