Petri net theory and the modeling of systems - Peterson, James Lyle (Prentice-Hall, 1981)