抄録

◎古市隼汰・和崎克己（信州大）

離散事象システムにおけるモデル化手法の一つにペトリネットがある．このペトリネットは視覚的ツール，数学的方法論，シミュレーションツールの3つの性質を併せ持ったツールである．筆者らは，ペトリネット設計解析援用ツールHiPSの開発リリースを行っている．このツールには様々な解析機能が実装されており，その一つとして，システムの網羅的な状態空間を探索する，プロセスグラフ生成器がある．この状態空間生成器には，モデル規模増大に伴う解析時間とメモリ消費量の増大の問題がある．本稿では，状態空間を格納するハッシュマップに対して，メモリ効率と速度を両立する工夫と実装，ならびに性能評価について報告する．