Mendeley出力
＜図書＞
Coloured petri nets : basic concepts, analysis methods and practical use
| 責任表示 | Kurt Jensen |
|---|---|
| シリーズ | Monographs in theoretical computer science : an EATCS series |
| データ種別 | 図書 |
| 出版情報 | Berlin ; Tokyo : Springer , c1995- |
| 本文言語 | 英語 |
| 大きさ | v. ; 24 cm |
| 概要 | This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second volume contains a detailed presentation of the analysis me...hods for CP-nets. They allow the modeller to investigate dynamic properties of CP-nets.The main ideas behind the analysis methods are described as well as the mathematics on which they are based and also how the methods are supported by computer tools. Some parts of the volume are theoretical while others are application oriented. The purpose of the volume is to teach the reader how to use the formal analysis methods, which does not require a deep understanding of the underlying mathematical theory. 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
v. 2 : gw | 理系図 自動書庫 | 1995 |
|
027232004152634 |
|
||||
|
|
v. 3 : gw | 理系図 自動書庫 | 007.61/J 37/(3) | 1997 |
|
026211997000832 |
|
書誌詳細
| 一般注記 | Includes bibliographical references and index |
|---|---|
| 著者標目 | *Jensen, K. (Kurt), 1950- |
| 分 類 | NDC8:007.61 |
| 書誌ID | 1001200898 |
| ISBN | 3540582762 |
| NCID | BA31277647 |
| 巻冊次 | v. 2 : gw ; ISBN:3540582762 v. 2 : us ; ISBN:0387582762 v. 3 : gw ; ISBN:3540628673 |
| 登録日 | 2009.09.18 |
| 更新日 | 2009.09.18 |