Automatic Extraction of Petri Nets from RFC Protocol Texts. - Ronghao Liang; Qingtian Zeng; Wenyan Guo; Hua Duan; Weijian Ni (CSCWD, 2024)