@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00151988,
 author = {太田, 淳也 and 和崎, 克己 and Ohta, Junya and Wasaki, Katsumi},
 book = {情報科学技術フォーラム講演論文集},
 issue = {1},
 month = {Aug},
 pages = {171--174},
 publisher = {情報処理学会},
 title = {A-015 ペトリネット援用ツールを用いたモデル設計とポスト検証ツール向け状態空間生成アルゴリズム(A分野:モデル・アルゴリズム・プログラミング,一般論文)},
 volume = {12},
 year = {2013}
}