@techreport{weko_175983_1,
   author	 = "張江,洋次朗 and 和崎,克己",
   title	 = "ペトリネット検証ツールHiPS向けon-the-flyモデル検査器の実現と評価",
   year 	 = "2016",
   institution	 = "信州大学大学院総合工学系研究, 信州大学工学部",
   number	 = "6",
   month	 = "nov"
}