TY  - BOOK
AU  - Best, Eike, et al.
AU  - 
TI  - Petri net algebra
U1  - 511.3  BES-P 
PY  - 2001///
CY  - Springer-Verlag, Berlin
KW  - Mathematical logic-- Mathematics
ER  -