Cambridge, Mass.: MIT, Dept. Electrical Engineering, MS Thesis., 1972.
Also: Cambridge, Mass.: MIT, Project MAC, TR-94, 1972. Errata: Corrections to `Analysis of Production Schemata by Petri Nets' --- Cambridge, Mass.: MIT, Project MAC, Computation Structures Note 17 (June, 1974).