講演名 | 2018-11-12 一般ペトリネットにおける可達グラフ生成プロセスのメモリ効率化手法 藤森 浩平(信州大), 張江 洋次朗(信州大), 和崎 克己(信州大), |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 本学で開発されたペトリネット設計ツールHiPS (Hierarchical Petri net Simulator) の解析機能の一つとして状態空間生成器がある. 従来の生成器は大規模なモデルに対する生成実行時のメモリ使用量が膨大になる問題があった. この問題を解決するために削除可能な状態値を検出・削除することでメモリ使用量を抑える手法を提案する. また, 実行時間短縮のために生成器を並列化した. |
抄録(英) | State space generator is one of the analysis functions of Petri netdesign tool HiPS (Hierarchical Petri net Simulator) developed at ouruniversity. The conventional generator has a problem of massive memoryusage during the generation process for the large-scale models. Tosolve this problem, we propose a method to reduce memory usage bydetecting/deleting removable state values. Also, to improve theexecution time, this generator has been parallelized. |
キーワード(和) | ペトリネット / 可達グラフ / 状態空間生成 / 離散事象システム / 形式モデル |
キーワード(英) | Petri net / Reachability graph / State space generator / Discrete event system / Formal model |
資料番号 | CAS2018-65,MSS2018-41 |
発行日 | 2018-11-05 (CAS, MSS) |
研究会情報 | |
研究会 | MSS / CAS / IPSJ-AL |
---|---|
開催期間 | 2018/11/12(から2日開催) |
開催地(和) | 熱海伊豆山温泉 ハートピア熱海 |
開催地(英) | |
テーマ(和) | システムのモデリングと制御・検証・最適化の手法,機械学習的アプローチ及び一般 |
テーマ(英) | |
委員長氏名(和) | 名嘉村 盛和(琉球大) / 岡崎 秀晃(湘南工科大) |
委員長氏名(英) | Morikazu Nakamura(Univ. of Ryukyus) / Hideaki Okazaki(Shonan Inst. of Tech.) |
副委員長氏名(和) | 髙井 重昌(阪大) / 山脇 大造(日立) |
副委員長氏名(英) | Shigemasa Takai(Osaka Univ.) / Taizo Yamawaki(Hitachi) |
幹事氏名(和) | 豊嶋 伊知郎(東芝エネルギーシステムズ) / 金澤 尚史(阪大) / 橘 俊宏(湘南工科大) / 中村 洋平(日立) |
幹事氏名(英) | Ichiro Toyoshima(Toshiba) / Takahumi Kanazawa(Osaka Univ.) / Toshihiro Tachibana(Shonan Inst. of Tech.) / Yohei Nakamura(Hitachi) |
幹事補佐氏名(和) | 金城 秀樹(沖縄大) / 山口 基(ルネサスエレクトロニクス) |
幹事補佐氏名(英) | Hideki Kinjo(Okinawa Univ.) / Motoi Yamaguchi(Renesas Electronics) |
講演論文情報詳細 | |
申込み研究会 | Technical Committee on Mathematical Systems Science and its applications / Technical Committee on Circuits and Systems / Special Interest Group on Algorithms |
---|---|
本文の言語 | JPN |
タイトル(和) | 一般ペトリネットにおける可達グラフ生成プロセスのメモリ効率化手法 |
サブタイトル(和) | |
タイトル(英) | 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 |
第 1 著者 氏名(和/英) | 藤森 浩平 / Kohei Fujimori |
第 1 著者 所属(和/英) | 信州大学(略称:信州大) Shinshu University(略称:Shinshu Univ.) |
第 2 著者 氏名(和/英) | 張江 洋次朗 / Yojiro Harie |
第 2 著者 所属(和/英) | 信州大学(略称:信州大) Shinshu University(略称:Shinshu Univ.) |
第 3 著者 氏名(和/英) | 和崎 克己 / Katsumi Wasaki |
第 3 著者 所属(和/英) | 信州大学(略称:信州大) Shinshu University(略称:Shinshu Univ.) |
発表年月日 | 2018-11-12 |
資料番号 | CAS2018-65,MSS2018-41 |
巻番号(vol) | vol.118 |
号番号(no) | CAS-295,MSS-296 |
ページ範囲 | pp.43-47(CAS), pp.43-47(MSS), |
ページ数 | 5 |
発行日 | 2018-11-05 (CAS, MSS) |