講演名 | 2001/12/14 拡張ネットモデルを用いたファイルサーバ設計による信頼性向上の一方策 山口 真之介, 和崎 克己, 師玉 康成, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 本論文は, 色つき論理ペトリネットによる, ネットワークファイルシステムのプロシージャ設計について述べる.既存のUNIXシステム上へ実装されているNFS/UFSサーバプロセスは, その仕様はRFC-1813に記述されているが, その記述は曖昧でありエラーハンドリングの優先順位などは実装する者の判断に依存している.そこで, 信頼性向上のためNFSの各プロシージャを拡張ペトリネットによって, 改めて設計を行いその動作について検証した. |
抄録(英) | In this paper, we propose a process design for the Network File System model based on the Logical Coloured Petri Net. This net (LCPN) is an extended Petri net which solves the problem of system description in place/transition nets and colored Petri nets proposed before. This extension of Petri net is suitable to design of the complex control systems and discuss its methods of evaluation. In order to study the behavior of the server system modeled with this net, we provide a means for searching the reach-ability tree of markings, and simulations. For this, we confirmed that this extended Petri net for design of the file server process is effective technique. |
キーワード(和) | ペトリネット / ネットワークファイルシステム / 色つき論理ペトリネット |
キーワード(英) | Petri Net / Network File System / Logical Coloured Petri Net |
資料番号 | R2001-33,SSS2001-28 |
発行日 |
研究会情報 | |
研究会 | SSS |
---|---|
開催期間 | 2001/12/14(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Safety (SSS) |
---|---|
本文の言語 | JPN |
タイトル(和) | 拡張ネットモデルを用いたファイルサーバ設計による信頼性向上の一方策 |
サブタイトル(和) | |
タイトル(英) | The file server design for improvement of reliability based on an extended Petri net. |
サブタイトル(和) | |
キーワード(1)(和/英) | ペトリネット / Petri Net |
キーワード(2)(和/英) | ネットワークファイルシステム / Network File System |
キーワード(3)(和/英) | 色つき論理ペトリネット / Logical Coloured Petri Net |
第 1 著者 氏名(和/英) | 山口 真之介 / Shin'nosuke YAMAGUCHI |
第 1 著者 所属(和/英) | 信州大学工学部 Faculty of Engineering, Shnshu University |
第 2 著者 氏名(和/英) | 和崎 克己 / Katsumi WASAKI |
第 2 著者 所属(和/英) | 信州大学工学部 Faculty of Engineering, Shnshu University |
第 3 著者 氏名(和/英) | 師玉 康成 / Yasunari SHIDAMA |
第 3 著者 所属(和/英) | 信州大学工学部 Faculty of Engineering, Shnshu University |
発表年月日 | 2001/12/14 |
資料番号 | R2001-33,SSS2001-28 |
巻番号(vol) | vol.101 |
号番号(no) | 527 |
ページ範囲 | pp.- |
ページ数 | 5 |
発行日 |