TY - BOOK AU - Peterson, James L TI - Petri net theory and the modelling of systems PY - 1981/// CY - New Jersey PB - Prentice-Hall ER -