Subnets Generation of Program Nets and Its Application to Software Testing. - Biao Wu 002; Xiaoan Bao; Na Zhang 002; Hiromu Morita; Mitsuru Nakata; Qi-Wei Ge (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019)