Decidability questions for Petri nets

Author(s)

• Hack, Michel

Bibliographic Information

Decidability questions for Petri nets

Michel Hack

（Outstanding dissertations in the computer sciences）

Garland Pub., 1979

Note

Originally presented as the author's thesis, MIT, 1975

Bibliography: p. [188]-193

Details

• NCID: BA30702292
• ISBN:
  • 082404424X
• LCCN: 79007310
• Country Code: us
• Title Language Code: eng
• Place of Publication: New York
• Pages/Volumes: 194 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.6
  • DC : 514/.223
• Subject Headings:
  • LCSH : Parallel processing (Electronic computers)
  • LCSH : Petri nets
  • LCSH : Recursion theory
• Parent Bibliography ID:
  • BA1154457X