Ziyue Ma, Zhou He, Zhiwu Li, Alessandro Giua: Design of supervisors for linear marking specifications in labeled Petri nets. Autom. 136: 110031 (2022)