| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2017-03-17 10:10 滞留なしペトリネットにおけるトランジション間の依存性解析 ○水田淳史・葛 崎偉・松野浩嗣（山口大）  MSS2016-93 |
|
| 抄録 | （和） | 本稿は滞留なしペトリネットを対象に， 発火頻度が互いに依存するトランジションを求めることを目的とする． まずは，これまで定義した依存関係に基づいて， 依存縮約の操作を具体的に定義する． 次に，ネットの構造解析を行い， 依存縮約前後のトランジション間の依存関係が保持されることを証明する． また，依存関係を満たす最大部分ネットを求める方法を提案すると共に， 依存縮約前後のネット全体における依存関係が保持されることを証明する． 最後に，応用例を提示して，提案手法の有効性を示す． |
| （英） | This paper aims to derive the transitions with dependent relation one another in retention-free Petri net. Firstly, we concretely define operations of dependent shrink based on dependent relation we have defined till now. Secondly, through topological analysis of retention-free Petri net, we prove the preservation of dependent relation of transitions before and after applying dependent shrink. After that, we propose a method to obtain a maximum subnet satisfying dependent relation and further prove the preservation of dependent relation for the whole nets before and after applying dependent shrink. Finally, to show the effectiveness of our proposed method, we apply our proposed method to the IL-3 Petri net model. |
|
| キーワード | （和） | シグナル伝達経路 / ペトリネット / 滞留なしペトリネット / 依存縮約 / 依存関係 / / / |
| （英） | signaling pathway / Petri net / retention-free Petri net / dependent shrink / dependent relation / / / | |
| 文献情報 | 信学技報, vol. 116, no. 525, MSS2016-93, pp. 67-72, 2017年3月. | |
| 資料番号 | MSS2016-93 | |
| 発行日 | 2017-03-09 (MSS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | MSS2016-93 |
|
| 研究会情報 | |
| 研究会 | MSS |
| 開催期間 | 2017-03-16 - 2017-03-17 |
| 開催地（和） | 島根大学総合理工学部1号館情報棟1階情報科学講義室 |
| 開催地（英） | Shimane Univ. |
| テーマ（和） | 離散事象システム及び一般、Work In Progress 計測と自動制御学会・離散事象システム部会と併催 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2017-03-MSS |
| 本文の言語 | 日本語 |
| タイトル（和） | 滞留なしペトリネットにおけるトランジション間の依存性解析 |
| サブタイトル（和） | |
| タイトル（英） | Dependency Analysis of Transitions in Retention-Free Petri Net |
| サブタイトル（英） | |
| キーワード(1)（和/英） | シグナル伝達経路 / signaling pathway |
| キーワード(2)（和/英） | ペトリネット / Petri net |
| キーワード(3)（和/英） | 滞留なしペトリネット / retention-free Petri net |
| キーワード(4)（和/英） | 依存縮約 / dependent shrink |
| キーワード(5)（和/英） | 依存関係 / dependent relation |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 水田 淳史 / Atsushi Mizuta / ミズタ アツシ |
| 第1著者 所属（和/英） | 山口大学 (略称： 山口大) Yamaguchi University (略称： Yamaguchi Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 葛 崎偉 / Qi-Wei GE / カツ キイ |
| 第2著者 所属（和/英） | 山口大学 (略称： 山口大) Yamaguchi University (略称： Yamaguchi Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 松野 浩嗣 / Hiroshi Matsuno / マツノ ヒロシ |
| 第3著者 所属（和/英） | 山口大学 (略称： 山口大) Yamaguchi University (略称： Yamaguchi Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2017-03-17 10:10:00 |
| 発表時間 | 20分 |
| 申込先研究会 | MSS |
| 資料番号 | MSS2016-93 |
| 巻番号（vol） | vol.116 |
| 号番号（no） | no.525 |
| ページ範囲 | pp.67-72 |
| ページ数 | 6 |
| 発行日 | 2017-03-09 (MSS) |
[研究会発表申込システムのトップページに戻る]