@techreport{weko_191713_1, author = "藤森,浩平 and 張江,洋次朗 and 和崎,克己", title = "一般ペトリネットにおける可達グラフ生成プロセスのメモリ効率化手法", year = "2018", institution = "信州大学大学院総合理工学研究科, 信州大学大学院総合工学系研究科, 信州大学大学院総合理工学研究科", number = "8", month = "nov" }