TY  - BOOK
AU  - JENSEN
TI  - COLOURED PETRI NETS: MODELLING AND VALIDATION OF CONCURRENT SYSTEMS
SN  - 9.78E+12
U1  - 511.3 21 JEN 
PB  - SPRINGER
ER  -