Mendeley出力
＜図書＞
Free choice Petri nets
| 責任表示 | Jörg Desel, Javier Esparza |
|---|---|
| シリーズ | Cambridge tracts in theoretical computer science ; 40 |
| データ種別 | 図書 |
| 出版情報 | New York, N.Y. : Cambridge University Press , 1995 |
| 本文言語 | 英語 |
| 大きさ | viii, 244 p. : ill. ; 26 cm |
| 概要 | Petri nets are a popular and powerful model for analyzing and modeling concurrent systems, and a rich theory has developed around them. This book focuses on a particular class of Petri nets, free choi...e Petri nets, which plays a central role in the theory. The text is organized very clearly, with every notion carefully explained and every result proved. The authors give clear exposition of place invariants, siphons, traps and many other important analysis techniques. The book contains classical results of free-choice theory as well as more recent results. The material is organized along the lines of a course, and each chapter contains numerous exercises, making this text ideal for graduate students and research workers alike.続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図3F 数理独自 | DESE/10/1 | 1995 |
|
023211999009044 |
|
|||
|
|
|
理系図 自動書庫 | 007.6/D 64 |
|
|
068252195008141 |
|
書誌詳細
| 一般注記 | Includes bibliographical references and index |
|---|---|
| 著者標目 | *Desel, Jörg Esparza, Javier |
| 件 名 | LCSH:Petri nets |
| 分 類 | NDC8:007.61 LCC:QA267 DC20:511.5 |
| 書誌ID | 1001161829 |
| ISBN | 0521465192 |
| NCID | BA24310720 |
| 巻冊次 | ISBN:0521465192 |
| 登録日 | 2009.09.17 |
| 更新日 | 2009.09.17 |