Peterson, James Lyle. Petri net theory and the modeling of systems / James L. Peterson. - Englewood Cliffs, N.J. : Prentice-Hall, c1981. - x, 290 p. : ill. ; 24 cm. Includes index. ISBN: 0136619835 (casebound) : $15.95 LCCN: 80024559 LC Class. No.: QA76.9.S88 / P47 Dewey Class. No.: 003