| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2008-08-04 15:05 通信プロトコルのネットモデルとその解析 上田昌弘（トヨタテクニカルディベロップメント）・○太田 淳・辻 孝吉（愛知県立大）  CST2008-16 |
|
| 抄録 | （和） | ペトリネットはコンカレントシステムのモデルの一つである。この 報告では、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 / / / / / | |
| 文献情報 | 信学技報, vol. 108, 2008年8月. | |
| 資料番号 | ||
| 発行日 | 2008-07-28 (CST) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CST2008-16 |
|
| 研究会情報 | |
| 研究会 | MSS |
| 開催期間 | 2008-08-04 - 2008-08-05 |
| 開催地（和） | 静岡大学（浜松キャンパス）工学部システム工学科棟３階Ａ３１教室 |
| 開催地（英） | Shizuoka University (Hamamatsu Campus), Faculty of Engineering |
| テーマ（和） | ハイブリッドシステム、コンカレント工学一般 |
| テーマ（英） | Concurrent Systems |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2008-08-CST |
| 本文の言語 | 日本語 |
| タイトル（和） | 通信プロトコルのネットモデルとその解析 |
| サブタイトル（和） | |
| タイトル（英） | Analysis of Communication Protocol using Net Model |
| サブタイトル（英） | |
| キーワード(1)（和/英） | コンカレントシステム / concurrent system |
| キーワード(2)（和/英） | ペトリネット / Petri net |
| キーワード(3)（和/英） | 通信プロトコル / communication protocol |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 上田 昌弘 / Masahiro Ueda / ウエダ マサヒロ |
| 第1著者 所属（和/英） | トヨタテクニカルディベロップメント株式会社 (略称： トヨタテクニカルディベロップメント) Toyota Technical Development Co., Let. (略称： TTDC) |
| 第2著者 氏名（和/英/ヨミ） | 太田 淳 / Atsushi Ohta / オオタ アツシ |
| 第2著者 所属（和/英） | 愛知県立大学 (略称： 愛知県立大) Aichi Prefectural University (略称： Aichi Pref. Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 辻 孝吉 / Kohkichi Tsuji / ツジ コウキチ |
| 第3著者 所属（和/英） | 愛知県立大学 (略称： 愛知県立大) Aichi Prefectural University (略称： Aichi Pref. Univ.) |
| 講演者 | 第2著者 |
| 発表日時 | 2008-08-04 15:05:00 |
| 発表時間 | 25分 |
| 申込先研究会 | MSS |
| 資料番号 | CST2008-16 |
| 巻番号（vol） | vol.108 |
| 号番号（no） | no.176 |
| ページ範囲 | pp.23-28 |
| ページ数 | 6 |
| 発行日 | 2008-07-28 (CST) |
[研究会発表申込システムのトップページに戻る]