TY  - BOOK
AU  - Jensen, K
TI  - Coloured Petri Nets:basic concepts, analysis methods and practical use volume 3
SN  - 0003540628673
U1  - 004 
PB  - Springer: Tokyo
KW  - computer science : petri nets
ER  -