A Conversion Method from an ETSC to a Timed Petri Net to Improve the Matrix-based Discrete Event Controller and its Unified Support System. - Hisaaki Yamaba; Shoichiro Kitano; Kayoko Takatsuka; Tetsuro Katayama; Naonobu Okazaki; Shigeyuki Tomita (KES, 2013)

Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-net. - Tetsuro Katayama; Shoichiro Kitano; Yoshihiro Kita; Hisaaki Yamaba; Naonobu Okazaki (J. Robotics Netw. Artif. Life, 2014)

Proposal of a Testing Method Using Similarity of Interleaving for Java Multi-threaded Programs. - Tetsuro Katayama; Shoichiro Kitano; Yoshihiro Kita; Hisaaki Yamaba; Kentaro Aburada; Naonobu Okazaki (J. Robotics Netw. Artif. Life, 2015)