@phdthesis{oai:soar-ir.repo.nii.ac.jp:00011458,
 author = {実川, 充},
 month = {Mar},
 note = {Thesis, 実川　　充. 数学知識ライブラリ構築におけるセルペトリネットの形式化について. 信州大学, 2015, 博士論文. 博士（学術）, 乙第42号, 平成27年3月20日授与.},
 school = {信州大学(Shinshu university)},
 title = {数学知識ライブラリ構築におけるセルペトリネットの形式化について},
 year = {2015}
}