| 2023 | DATA | Automatic Classification of Quantitative Data from DNS Cache Servers into Stationary and Non-Stationary States Based on Clustering. | Hikofumi Suzuki, Katsumi Wasaki |
| 2017 | SIMULTECH | Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets. | Yojiro Harie, Katsumi Wasaki |
| 2017 | SIMULTECH | A Multi-agent Approach to Smart Home Sensors for the Elderly based on an Open Hardware Architecture: A Model for Participatory Evaluation. | Katsumi Wasaki, Masaaki Niimura, Nobuhiro Shimoi |
| 2016 | AINA | Multi-master Replication of Enhanced Learning Assistant System in IoT Cluster. | Bishnu Prasad Gautam, Katsumi Wasaki, Amit Batajoo, Suresh Shrestha, Kazuhiko Sato |
| 2007 | DSD | Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net. | Katsumi Wasaki, Toshiaki Harai, Tamotsu Hayashi, Ken-ichi Arai |
| 2005 | KES | The Learning System of Shinshu University Graduate School of Science and Technology on the Internet. | Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura |
| 2004 | ICARCV | The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor. | Shinnosuke Yamaguchi, A. Nishino, Katsumi Wasaki, Yasunari Shidama |
| 2003 | ICCCN | Study on a noise reduction system of CATV network upstream for data communication. | Masayuki Nakamura, Yuying Yang, Katsumi Wasaki, Yasunari Shidama |
| 2002 | ICARCV | The persistence of the Petri Net state-space. | Koichi Okada, Katsumi Wasaki, Yasunari Shidama |
| 2002 | ICARCV | A high reliability design for NFS server software based on the logical coloured Petri net. | Shinnosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama |