@techreport{weko_102042_1, author = "北野,翔一郎 and 片山,徹郎", title = "Javaマルチスレッドプログラム向けの拡張ペトリネットを用いた実行の再現を利用したデバッグ支援ツールの試作", year = "2014", institution = "宮崎大学, 宮崎大学", number = "23", month = "jul" }