Decidability questions for Petri nets

著者

• Hack, Michel

書誌事項

Decidability questions for Petri nets

Michel Hack

（Outstanding dissertations in the computer sciences）

Garland Pub., 1979

注記

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

Bibliography: p. [188]-193

詳細情報

• NII書誌ID(NCID): BA30702292
• ISBN:
  • 082404424X
• LCCN: 79007310
• 出版国コード: us
• タイトル言語コード: eng
• 出版地: New York
• ページ数/冊数: 194 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.6
  • DC : 514/.223
• 件名:
  • LCSH : Parallel processing (Electronic computers)
  • LCSH : Petri nets
  • LCSH : Recursion theory
• 親書誌ID:
  • BA1154457X