Maximum fault-free enforcement in Petri nets using supervisory control. - Juhong Zheng; Lei Zhang; Jingbo Zhang; Meibo Lv (Comput. J., 2025)