Mendeley出力
＜図書＞
Modular construction and partial order semantics of Petri Nets
| 責任表示 | W. Vogler |
|---|---|
| シリーズ | Lecture notes in computer science ; 625 |
| データ種別 | 図書 |
| 出版情報 | Berlin ; New York : Springer-Verlag , c1992 |
| 本文言語 | 英語 |
| 大きさ | viii, 252 p. : ill. ; 25 cm |
| 概要 | Petri nets are a well-known model for parallel systems, usedfor both applications and theoretical studies. They can beused for specification, modelling, and analysis, and offer agraphical representat...on and a clear view of concurrency.For the design of large systems, modular construction isindispensible, and considerable effort has been spent onstudying themodular construction of Petri nets.This book studies the modular construction of nets, and inparticular the top-down design of nets by action refinement.Suitable behavior descriptions are presented and specialcare is taken to justify these descriptions by showing thattheyare necessary under reasonable specificationrequirements. In particular, itis shown that partial-ordersemantics is necessary to support action refinement. Petri nets are a well-known model for parallel systems, usedfor both applications and theoretical studies. They can beused for specification, modelling, and analysis, and offer agraphical representation and a clear view of concurrency.For the design of large systems, modular construction isindispensible, and considerable effort has been spent onstudying themodular construction of Petri nets.This book studies the modular construction of nets, and inparticular the top-down design of nets by action refinement.Suitable behavior descriptions are presented and specialcare is taken to justify these descriptions by showing thattheyare necessary under reasonable specificationrequirements. In particular, itis shown that partial-ordersemantics is necessary to support action refinement. 続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/7018737 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
: gw | 理系図 自動書庫 | 408/L 49 | 1992 |
|
061232004010507 |
|
書誌詳細
| 一般注記 | Includes bibliographical references (p. [241]-249) and index |
|---|---|
| 著者標目 | *Vogler, W. (Walter), 1955- |
| 件 名 | LCSH:Parallel processing (Electronic computers) LCSH:Petri nets |
| 分 類 | LCC:QA76.58 DC20:005.1/2/028 |
| 書誌ID | 1000952627 |
| ISBN | 0387557679 |
| NCID | BA18235347 |
| 巻冊次 | : us ; ISBN:0387557679 : gw ; ISBN:3540557679 |
| 登録日 | 2009.09.16 |
| 更新日 | 2017.02.18 |