@techreport{weko_184242_1,
   author	 = "牛島,涼介 and 天願,健 and Andrea,Veronica Porco and 名嘉村,盛和",
   title	 = "カラーペトリネットに基づく最適資源割当て数理計画の自動生成",
   year 	 = "2017",
   institution	 = "琉球大学大学院理工学研究科, 名桜大学国際学群, 琉球大学大学院理工学研究科, 琉球大学工学部",
   number	 = "27",
   month	 = "nov"
}