The mathematics of Petri-nets

著者

• Reutenauer, Christophe

書誌事項

The mathematics of Petri-nets

Christophe Reutenauer ; translated by Iain Craig

Prentice Hall International, 1990

タイトル別名

Aspects mathématiques des réseaux de Petri

統一タイトル

Aspects mathématiques des réseaux de Petri

注記

Bibliography: p. 110-114

内容説明・目次

内容説明

Covers the mathematical aspects of petri-nets and vector addition systems. The main topic is the accessibility decidability theorem, while the reachability problem is also discussed. Historical notes, references, proofs, exercises and illustrations are included in every chapter.

目次

• Petri-nets and vector addition systems
• graphs and ordered sets
• rational subsets in a monoid and semi-line sets
• vectors addition systems with states
• chains and reachability
• complements.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA11302151
• ISBN:
  • 0135618878
• LCCN: 89039986
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 原本言語コード: fre
• 出版地: Englewood Cliffs, N.J.
• ページ数/冊数: ix, 117 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA267
  • DC20 : 511.3
• 件名:
  • LCSH : Petri nets
  • LCSH : Machine theory