| 講演名 | 2008-08-04 通信プロトコルのネットモデルとその解析(ハイブリッドシステム,コンカレント工学一般) 上田 昌弘, 太田 淳, 辻 孝吉, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | ペトリネットはコンカレントシステムのモデルの一つである。この報告では、OSIプロトコル層における通信エンティティのペトリネットモデルとその検証について考察する。単一エンティティの状態遷移表から変換されたペトリネットモデルに基づいて、結合系のネットモデルを作成した。そして、有界性や停止性について検証を行い、これらの性質のための構造的な十分条件を得た。これらの条件は多項式時間で検証可能である。 |
| 抄録(英) | Petri net is a graphical and mathematical modeling tool for concurrent systems. In this paper, Petri net model of communicating entity under the OSI layer protocol is studied. Based on conversion method from state transition table of single entity to Petri net, net model of connected entities is obtained. Properties such as boundedness and proper termination are studied using the model. Sufficient condition based on graph structure of Petri net model for these properties is obtained. This condition is verified in polynomial time. |
| キーワード(和) | コンカレントシステム / ペトリネット / 通信プロトコル |
| キーワード(英) | concurrent system / Petri net / communication protocol |
| 資料番号 | CST2008-16 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 2008/7/28(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 通信プロトコルのネットモデルとその解析(ハイブリッドシステム,コンカレント工学一般) |
| サブタイトル（和） | |
| タイトル（英） | Analysis of Communication Protocol using Net Model |
| サブタイトル（和） | |
| キーワード(1)（和/英） | コンカレントシステム / concurrent system |
| キーワード(2)（和/英） | ペトリネット / Petri net |
| キーワード(3)（和/英） | 通信プロトコル / communication protocol |
| 第 1 著者 氏名（和/英） | 上田 昌弘 / Masahiro UEDA |
| 第 1 著者 所属（和/英） | トヨタテクニカルディベロップメント Toyota Technical Development Corp. |
| 第 2 著者 氏名（和/英） | 太田 淳 / Atsushi OHTA |
| 第 2 著者 所属（和/英） | 愛知県立大学情報科学部 Faculty of Information Science and Technology, Aichi Prefectural University |
| 第 3 著者 氏名（和/英） | 辻 孝吉 / Kohkichi TSUJI |
| 第 3 著者 所属（和/英） | 愛知県立大学情報科学部 Faculty of Information Science and Technology, Aichi Prefectural University |
| 発表年月日 | 2008-08-04 |
| 資料番号 | CST2008-16 |
| 巻番号（vol） | vol.108 |
| 号番号（no） | 176 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |