書誌事項

Free choice Petri nets

Jörg Desel, Javier Esparza

(Cambridge tracts in theoretical computer science, 40)

Cambridge University Press, 2005

大学図書館所蔵 件 / 3

この図書・雑誌をさがす

注記

Includes bibliographical references and index

The digitally printed first paperback version 2005

内容説明・目次

内容説明

Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also used by industrial practitioners. This book focuses on a particular class of petri nets, free choice petri nets, which play a central role in the theory. The text is very clearly organised, with every notion carefully explained and every result proved. Clear exposition is given for place invariants, siphons, traps and many other important analysis techniques. The material is organised along the lines of a course book, and each chapter contains numerous exercises, making this book ideal for graduate students and research workers alike.

目次

  • 1. Introduction
  • 2. Analysis techniques for petri nets
  • 3. S-systems and T-systems
  • 4. Liveness in free choice
  • 5. The coverability theorems
  • 6. The rank theorem
  • 7. Reduction and synthesis
  • 8. Home markings
  • 9. Reachability and shortest sequences
  • 10. Generalizations
  • Index
  • List of symbols
  • List of main results.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA76073107
  • ISBN
    • 0521019451
  • 出版国コード
    us
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    New York, N.Y.
  • ページ数/冊数
    viii, 244 p.
  • 大きさ
    25 cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ