| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2012-03-08 15:40 シグナル伝達経路の性質に基づく時間ペトリネットのトークン滞留なし条件の検討 ○村上祐樹・葛 崎偉・松野浩嗣（山口大）  MSS2011-77 |
|
| 抄録 | （和） | 滞留なしペトリネットとは，いずれのプレースにおいても流れてくるトークンと流れ出ていくトークンの量が等しいペトリネットである．シグナル伝達経路を変換したペトリネットモデルは一般的に同期トランジション，競合トランジション，自己ループアーク，抑止アークを含む．変換されたペトリネットモデルでトークンが滞留しないために，これらのトランジションおよびアークは適切に扱う必要がある．本稿では，これらのトランジションやアークを持つペトリネットを滞留なしペトリネットとするために満たされるべき条件について考察する． |
| （英） | Retention-free Petri net is a timed Petri net such that total input and total output token flows are equivalent at any place. Petri net models converted from signaling pathways generally contain synchronous transition, conflict transition, self-loop arc, and inhibitory arcs. In order for the converted-Petri net model to be retention-free, these kinds of transitions and arcs should be treated appropriately. This paper considers the conditions that should be satisfied for a Petri net model having these transitions and arcs to be retention-free. |
|
| キーワード | （和） | シグナル伝達経路 / 時間ペトリネット / 滞留なしペトリネット / / / / / |
| （英） | signaling pathways / timed Petri net / retention-free Petri net / / / / / | |
| 文献情報 | 信学技報, vol. 111, no. 453, MSS2011-77, pp. 29-34, 2012年3月. | |
| 資料番号 | MSS2011-77 | |
| 発行日 | 2012-03-01 (MSS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | MSS2011-77 |
|
| 研究会情報 | |
| 研究会 | MSS |
| 開催期間 | 2012-03-08 - 2012-03-09 |
| 開催地（和） | JAIST東京サテライト |
| 開催地（英） | JAIST Tokyo Satellite |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2012-03-MSS |
| 本文の言語 | 日本語 |
| タイトル（和） | シグナル伝達経路の性質に基づく時間ペトリネットのトークン滞留なし条件の検討 |
| サブタイトル（和） | |
| タイトル（英） | Consideration on the token retention-free in timed Petri net model based on the signaling pathway characteristics |
| サブタイトル（英） | |
| キーワード(1)（和/英） | シグナル伝達経路 / signaling pathways |
| キーワード(2)（和/英） | 時間ペトリネット / timed Petri net |
| キーワード(3)（和/英） | 滞留なしペトリネット / retention-free Petri net |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 村上 祐樹 / Yuki Murakami / ムラカミ ユウキ |
| 第1著者 所属（和/英） | 山口大学 (略称： 山口大) Yamaguchi University (略称： Yamaguchi Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 葛 崎偉 / Qi-Wei Ge / カツ キイ |
| 第2著者 所属（和/英） | 山口大学 (略称： 山口大) Yamaguchi University (略称： Yamaguchi Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 松野 浩嗣 / Hiroshi Matsuno / マツノ ヒロシ |
| 第3著者 所属（和/英） | 山口大学 (略称： 山口大) Yamaguchi University (略称： Yamaguchi Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2012-03-08 15:40:00 |
| 発表時間 | 25分 |
| 申込先研究会 | MSS |
| 資料番号 | MSS2011-77 |
| 巻番号（vol） | vol.111 |
| 号番号（no） | no.453 |
| ページ範囲 | pp.29-34 |
| ページ数 | 6 |
| 発行日 | 2012-03-01 (MSS) |
[研究会発表申込システムのトップページに戻る]