TY  - BOOK
AU  - Diaz, Michel
TI  - Petri Nets: fundamental models, verification and applications
SN  - 9781848210790
U1  - 511.35 DIA 
PY  - 2009///
CY  - New Jersey
PB  - John Wiley & Sons
KW  - System design
KW  - Parallel processing (Electronic computer)
KW  - Electronic data processing -- Distributed orocessing
N1  - <p>Contents:</p>

<p>1. Basic Semantics
ER  -