Decidability questions for Petri nets
By: Michel Hack.
Series: Outstanding dissertations in the computer sciences
Publisher: Garland Pub.
Published: 1979
Place of publication: New York
Language: eng
Number of pages: 194
Subjects: Parallel processing (Electronic computers); Petri nets.; Recursion theory.
Notes: Bibliography: p. [188]-193.
Originally presented as the author's thesis, MIT, 1975.