@techreport{weko_86134_1,
   author	 = "洲崎武史 and 山口真悟",
   title	 = "ペトリネットの状態数の多項式時間計算について～有界性と入れ子構造を活用したアプローチ～",
   year 	 = "2012",
   institution	 = "山口大学大学院理工学研究科, 山口大学大学院理工学研究科",
   number	 = "3",
   month	 = "oct"
}