TY  - BOOK
AU  - Jensen,Kurt
AU  - Kristensen, Lars M.
TI  - Coloured petri nets: modelling and validation of concurrent systems 
SN  - 3540609431 (Berlin : v. 1 : acidfree paper)
AV  - QA267 .J46 1996
U1  - 004 20
PY  - 2009///
CY  - New York
PB  - Springer
KW  - Petri nets
N1  - Includes bibliographical references and index
ER  -