テンソル積の既約分解を用いた量子ペトリネットの階層化

IPSJ

Search this article

Abstract

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

Journal

Keywords

Details 詳細情報について

Report a problem

Back to top