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