"Petri net theory and the modeling of systems", Prentice-Hall, Englewood Cliffs, N.J., 1981, O Excellent book presenting Petri nets as developed at MIT and elsewhere (called 'Special Net Theory' by Petri). It covers the ways of defining Petri nets, analyzing them, and extending them. It compares Petri nets with other ways of modeling parallel computations. It concludes with a complete, annotated bibliography. (cbb 6/83) .