@techreport{weko_191712_1, author = "張江,洋次朗 and 和崎,克己", title = "閉路フロー行列変換によるペトリネットの安定部分ネットの検知", year = "2018", institution = "信州大学大学院総合工学系研究科, 信州大学工学部", number = "7", month = "nov" }