State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing. - Tomohiko Takagi; Ryo Kurozumi; Tetsuro Katayama (PRDC, 2019)

Software Modeling Technique and its Prototype Tool for Behavior of Multiple Objects Using Extended Place/Transition Nets with Attributed Tokens. - Tomohiko Takagi; Ryo Kurozumi (J. Robotics Netw. Artif. Life, 2020)

Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens. - Tomohiko Takagi; Ryo Kurozumi (J. Robotics Netw. Artif. Life, 2021)