[A-3] 信頼性

[A-3-4] 確率ペトリネットに対するパーフェクトサンプリングの高速化

^○山野拓実, 岡村寛之, 土肥正 (広島大)

キーワード：パーフェクトサンプリング、確率ペトリネット、マルコフ連鎖

確率ペトリネットとは，プレースとトランジションから構成される二部有効グラフであり，プレースに配置されたトークンがトランジションによって移動することで,離散状態をもつシステムの動的なふるまいを記述することができる．本稿では確率ペトリネットに対するパーフェクトサンプリングを考える．パーフェクトサンプリングとは定常状態におけるシステム状態をサンプリングする手法である．ここでは CFTP (Coupling From The Past) と呼ばれる手法の適用を行う．H. Okamura, K. Morihara and T. Dohi, An SMTBased Perfect Sampling Algorithm for Stochastic
Petri Nets． Proc. VALUETOOLS2020, 104–111，2020．で提案されたアイデアに対して MDD を用いることで,先の文献のSMTソルバによる手法よりも高速な手法の開発をめざす．