PPTL specification mining based on LNFG. - Xinya Ning; Nan Zhang 001; Zhenhua Duan; Cong Tian (Theor. Comput. Sci., 2022)