情報処理学会 第74回全国大会講演要旨

コンカレントシステムである量子コンピュータのモデルの1つとして量子ペトリネットが提案されている。ネットが大規模になると、そのネットの性質を調べるための解析に多くの計算時間とメモリが必要となってしまう。本論文では、テンソル積の既約分解による量子ペトリネットの階層化方法を提案する。上位と下位のネットに共通部分がまとめられるため、元のネットよりも規模の小さいネットに対して解析を行うことができる。