講演名 2012-03-08
シグナル伝達経路の性質に基づく時間ペトリネットのトークン滞留なし条件の検討
村上 祐樹, 葛崎 偉, 松野 浩嗣,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 滞留なしペトリネットとは,いずれのプレースにおいても流れてくるトークンと流れ出ていくトークンの量が等しいペトリネットである.シグナル伝達経路を変換したペトリネットモデルは一般的に同期トランジション,競合トランジション,自己ループアーク,抑止アークを含む.変換されたペトリネットモデルでトークンが滞留しないために,これらのトランジションおよびアークは適切に扱う必要がある.本稿では,これらのトランジションやアークを持つペトリネットを滞留なしペトリネットとするために満たされるべき条件について考察する.
抄録(英) 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
資料番号 MSS2011-77
発行日

研究会情報
研究会 MSS
開催期間 2012/3/1(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Mathematical Systems Science and its applications(MSS)
本文の言語 JPN
タイトル(和) シグナル伝達経路の性質に基づく時間ペトリネットのトークン滞留なし条件の検討
サブタイトル(和)
タイトル(英) 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
第 1 著者 氏名(和/英) 村上 祐樹 / Yuki MURAKAMI
第 1 著者 所属(和/英) 山口大学大学院理工学研究科
Graduate School of Science and Engineering, Yamaguchi University
第 2 著者 氏名(和/英) 葛崎 偉 / Qi-Wei GE
第 2 著者 所属(和/英) 山口大学教育学部
Faculty of Education, Yamaguchi University
第 3 著者 氏名(和/英) 松野 浩嗣 / Hiroshi MATSUNO
第 3 著者 所属(和/英) 山口大学大学院理工学研究科
Graduate School of Science and Engineering, Yamaguchi University
発表年月日 2012-03-08
資料番号 MSS2011-77
巻番号(vol) vol.111
号番号(no) 453
ページ範囲 pp.-
ページ数 6
発行日