| 講演名 | 2015-03-05 依存縮約による滞留なしペトリネットの等価変換(離散事象システム及び一般) 水田 淳史, 葛 崎偉, 松野 浩嗣, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 我々はこれまで,シグナル伝達経路モデルである滞留なしペトリネットにおけるトランジション間の依存関係に基づいた依存縮約の性質について調べてきた.本稿では依存縮約の性質に基づいて滞留なしペトリネットの等価変換を行うアルゴリズムを提案する.具体的には,それぞれのプレースに着目しそのプレースに接続している入出力トランジション数によりパターン別の縮約を行い,それに伴うネットの再構成を行う. |
| 抄録(英) | We have investigated the properties of dependent shrink based on dependency of transitions in retention-free Petri net models of signaling pathways. Applying these properties, in this paper we propose an algorithm to do equivalent transformation for retention-free Petri nets. Concretely, we first classify dependent shrink pattern according to each place andits input and output trasitions, and then for each pattern do the dependent shrink operations. Finally, we reconstruct the Petri net basing on patterns' dependent shrink result. |
| キーワード(和) | シグナル伝達経路 / ペトリネット / 滞留なしペトリネット / 依存縮約 |
| キーワード(英) | Signaling Pathway / Petri net / Dependent-free Petri net / Dependent shrink |
| 資料番号 | MSS2014-98 |
| 発行日 |
| 研究会情報 | |
| 研究会 | MSS |
|---|---|
| 開催期間 | 2015/2/26(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Mathematical Systems Science and its applications(MSS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 依存縮約による滞留なしペトリネットの等価変換(離散事象システム及び一般) |
| サブタイトル（和） | |
| タイトル（英） | Equivalent Transformation of Retention-Free Petri Net by Dependent Shrink |
| サブタイトル（和） | |
| キーワード(1)（和/英） | シグナル伝達経路 / Signaling Pathway |
| キーワード(2)（和/英） | ペトリネット / Petri net |
| キーワード(3)（和/英） | 滞留なしペトリネット / Dependent-free Petri net |
| キーワード(4)（和/英） | 依存縮約 / Dependent shrink |
| 第 1 著者 氏名（和/英） | 水田 淳史 / Atsushi MIZUTA |
| 第 1 著者 所属（和/英） | 山口大学理学部 Faculty of Science, Yamaguchi University |
| 第 2 著者 氏名（和/英） | 葛 崎偉 / Qi-Wei GE |
| 第 2 著者 所属（和/英） | 山口大学教育学部 Faculty of Education, Yamaguchi University |
| 第 3 著者 氏名（和/英） | 松野 浩嗣 / Hiroshi MATSUNO |
| 第 3 著者 所属（和/英） | 山口大学理工学研究科 Graduate School of Science and Engineering, Yamaguchi University |
| 発表年月日 | 2015-03-05 |
| 資料番号 | MSS2014-98 |
| 巻番号（vol） | vol.114 |
| 号番号（no） | 493 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |