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