TY  - BOOK
AU  - Jensen, Kurt
TI  - Coloured petri nets : basic concepts, analysis methods, and practical use
SN  - 3540555978 (v. 1) -- 3540582762 (v. 2) -- 3540628673 (v. 3)
SN  - 92227749
U1  - 511.5 JEN 
PY  - 1992///-c1997
CY  - Berlin ; New York
PB  - Springer-Verlag
KW  - Petri nets
N1  - Contents : v. 1. -- v. 2. -- v. 3. Includes bibliographical references and indexes
ER  -