@article{oai:miyazaki-u.repo.nii.ac.jp:00002798,
 author = {北野, 翔一郎 and Kitano, Shoichiro and Katayama, Tetsuro and 片山, 徹郎 and 北野, 翔一郎 and Kitano, Shoichiro},
 journal = {宮崎大学工学部紀要, Memoirs of Faculty of Engineering, University of Miyazaki},
 month = {Jul},
 note = {It is difficult to implement multi-threaded programs. One of the reason is that the behavior of each thread is non-deterministic. Also it is difficult to reproduce the situation in which an incident occurs. This paper proposes a supporting method for debugging to reproduce Java multi-threaded programs by visualizing the behavior of the programs with Petri-net. Here, it is difficult to express the behavior of multi-threaded programs by ordinal Petri-net. Therefore, We extend Petri-net to reproduce the execution of multi-thread programs to realize our proposal method. Moreover, we have confirmed the effectiveness of our method by implementing a tool which generates a Petri-net model from a multi-threaded program.},
 pages = {243--248},
 title = {ペトリネットを用いたJavaマルチスレッドプログラムの実行を再現することによるデバッグ支援手法の提案},
 volume = {43},
 year = {2014},
 yomi = {キタノ, ショウイチロウ and カタヤマ, テツロウ and キタノ, ショウイチロウ}
}