行列圧縮とGPGPUを利用したペトリネットシミュレーションの高速化
河村喬佐藤洋一郎横川智教近藤真史有本和民
電子情報通信学会技術研究報告
113
463(CAS2013 90-133)
https://jglobal.jst.go.jp/detail?JGLOBAL_ID=201402226937483902