講演抄録/キーワード |
講演名 |
2015-03-05 17:05
依存縮約による滞留なしペトリネットの等価変換 ○水田淳史・葛 崎偉・松野浩嗣(山口大) MSS2014-98 |
抄録 |
(和) |
我々はこれまで,シグナル伝達経路モデルである滞留なしペトリネットにおけるトランジション間の依存関係に基づいた依存縮約の性質について調べてきた.本稿では依存縮約の性質に基づいて滞留なしペトリネットの等価変換を行うアルゴリズムを提案する.具体的には,それぞれのプレースに着目しそのプレースに接続している入出力トランジション数によりパターン別の縮約を行い,それに伴うネットの再構成を行う. |
(英) |
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 and its input and output transitions, 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 / retention-free Petri net / dependent shrink / / / / |
文献情報 |
信学技報, vol. 114, no. 493, MSS2014-98, pp. 41-46, 2015年3月. |
資料番号 |
MSS2014-98 |
発行日 |
2015-02-26 (MSS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
MSS2014-98 |
研究会情報 |
研究会 |
MSS |
開催期間 |
2015-03-05 - 2015-03-06 |
開催地(和) |
ITビジネスプラザ武蔵 |
開催地(英) |
IT Business Plaza Musashi |
テーマ(和) |
離散事象システム及び一般、Work In Progress、計測と自動制御学会・離散事象システム部会と併催 |
テーマ(英) |
|
講演論文情報の詳細 |
申込み研究会 |
MSS |
会議コード |
2015-03-MSS |
本文の言語 |
日本語 |
タイトル(和) |
依存縮約による滞留なしペトリネットの等価変換 |
サブタイトル(和) |
|
タイトル(英) |
Equivalent Transformation of Retention-Free Petri Net by Dependent Shrink |
サブタイトル(英) |
|
キーワード(1)(和/英) |
シグナル伝達経路 / signaling pathway |
キーワード(2)(和/英) |
ペトリネット / Petri net |
キーワード(3)(和/英) |
滞留なしペトリネット / retention-free Petri net |
キーワード(4)(和/英) |
依存縮約 / dependent shrink |
キーワード(5)(和/英) |
/ |
キーワード(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.) |
第4著者 氏名(和/英/ヨミ) |
/ / |
第4著者 所属(和/英) |
(略称: )
(略称: ) |
第5著者 氏名(和/英/ヨミ) |
/ / |
第5著者 所属(和/英) |
(略称: )
(略称: ) |
第6著者 氏名(和/英/ヨミ) |
/ / |
第6著者 所属(和/英) |
(略称: )
(略称: ) |
第7著者 氏名(和/英/ヨミ) |
/ / |
第7著者 所属(和/英) |
(略称: )
(略称: ) |
第8著者 氏名(和/英/ヨミ) |
/ / |
第8著者 所属(和/英) |
(略称: )
(略称: ) |
第9著者 氏名(和/英/ヨミ) |
/ / |
第9著者 所属(和/英) |
(略称: )
(略称: ) |
第10著者 氏名(和/英/ヨミ) |
/ / |
第10著者 所属(和/英) |
(略称: )
(略称: ) |
第11著者 氏名(和/英/ヨミ) |
/ / |
第11著者 所属(和/英) |
(略称: )
(略称: ) |
第12著者 氏名(和/英/ヨミ) |
/ / |
第12著者 所属(和/英) |
(略称: )
(略称: ) |
第13著者 氏名(和/英/ヨミ) |
/ / |
第13著者 所属(和/英) |
(略称: )
(略称: ) |
第14著者 氏名(和/英/ヨミ) |
/ / |
第14著者 所属(和/英) |
(略称: )
(略称: ) |
第15著者 氏名(和/英/ヨミ) |
/ / |
第15著者 所属(和/英) |
(略称: )
(略称: ) |
第16著者 氏名(和/英/ヨミ) |
/ / |
第16著者 所属(和/英) |
(略称: )
(略称: ) |
第17著者 氏名(和/英/ヨミ) |
/ / |
第17著者 所属(和/英) |
(略称: )
(略称: ) |
第18著者 氏名(和/英/ヨミ) |
/ / |
第18著者 所属(和/英) |
(略称: )
(略称: ) |
第19著者 氏名(和/英/ヨミ) |
/ / |
第19著者 所属(和/英) |
(略称: )
(略称: ) |
第20著者 氏名(和/英/ヨミ) |
/ / |
第20著者 所属(和/英) |
(略称: )
(略称: ) |
講演者 |
第1著者 |
発表日時 |
2015-03-05 17:05:00 |
発表時間 |
20分 |
申込先研究会 |
MSS |
資料番号 |
MSS2014-98 |
巻番号(vol) |
vol.114 |
号番号(no) |
no.493 |
ページ範囲 |
pp.41-46 |
ページ数 |
6 |
発行日 |
2015-02-26 (MSS) |