講演抄録/キーワード |
講演名 |
2018-11-12 16:15
一般ペトリネットにおける可達グラフ生成プロセスのメモリ効率化手法 ○藤森浩平・張江洋次朗・和崎克己(信州大) CAS2018-65 MSS2018-41 |
抄録 |
(和) |
本学で開発されたペトリネット設計ツールHiPS (Hierarchical Petri net Simulator) の解析機能の一つとして状態空間生成器がある.
従来の生成器は大規模なモデルに対する生成実行時のメモリ使用量が膨大になる問題があった.
この問題を解決するために削除可能な状態値を検出・削除することでメモリ使用量を抑える手法を提案する.
また, 実行時間短縮のために生成器を並列化した. |
(英) |
State space generator is one of the analysis functions of Petri net
design tool HiPS (Hierarchical Petri net Simulator) developed at our
university. The conventional generator has a problem of massive memory
usage during the generation process for the large-scale models. To
solve this problem, we propose a method to reduce memory usage by
detecting/deleting removable state values. Also, to improve the
execution time, this generator has been parallelized. |
キーワード |
(和) |
ペトリネット / 可達グラフ / 状態空間生成 / 離散事象システム / 形式モデル / / / |
(英) |
Petri net / Reachability graph / State space generator / Discrete event system / Formal model / / / |
文献情報 |
信学技報, vol. 118, no. 296, MSS2018-41, pp. 43-47, 2018年11月. |
資料番号 |
MSS2018-41 |
発行日 |
2018-11-05 (CAS, MSS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
CAS2018-65 MSS2018-41 |
研究会情報 |
研究会 |
MSS CAS IPSJ-AL |
開催期間 |
2018-11-12 - 2018-11-13 |
開催地(和) |
熱海伊豆山温泉 ハートピア熱海 |
開催地(英) |
|
テーマ(和) |
システムのモデリングと制御・検証・最適化の手法,機械学習的アプローチ及び一般 |
テーマ(英) |
|
講演論文情報の詳細 |
申込み研究会 |
MSS |
会議コード |
2018-11-MSS-CAS-AL |
本文の言語 |
日本語 |
タイトル(和) |
一般ペトリネットにおける可達グラフ生成プロセスのメモリ効率化手法 |
サブタイトル(和) |
|
タイトル(英) |
A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets |
サブタイトル(英) |
|
キーワード(1)(和/英) |
ペトリネット / Petri net |
キーワード(2)(和/英) |
可達グラフ / Reachability graph |
キーワード(3)(和/英) |
状態空間生成 / State space generator |
キーワード(4)(和/英) |
離散事象システム / Discrete event system |
キーワード(5)(和/英) |
形式モデル / Formal model |
キーワード(6)(和/英) |
/ |
キーワード(7)(和/英) |
/ |
キーワード(8)(和/英) |
/ |
第1著者 氏名(和/英/ヨミ) |
藤森 浩平 / Kohei Fujimori / フジモリ コウヘイ |
第1著者 所属(和/英) |
信州大学 (略称: 信州大)
Shinshu University (略称: Shinshu Univ.) |
第2著者 氏名(和/英/ヨミ) |
張江 洋次朗 / Yojiro Harie / ハリエ ヨウジロウ |
第2著者 所属(和/英) |
信州大学 (略称: 信州大)
Shinshu University (略称: Shinshu Univ.) |
第3著者 氏名(和/英/ヨミ) |
和崎 克己 / Katsumi Wasaki / ワサキ カツミ |
第3著者 所属(和/英) |
信州大学 (略称: 信州大)
Shinshu University (略称: Shinshu 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著者 |
発表日時 |
2018-11-12 16:15:00 |
発表時間 |
25分 |
申込先研究会 |
MSS |
資料番号 |
CAS2018-65, MSS2018-41 |
巻番号(vol) |
vol.118 |
号番号(no) |
no.295(CAS), no.296(MSS) |
ページ範囲 |
pp.43-47 |
ページ数 |
5 |
発行日 |
2018-11-05 (CAS, MSS) |