Robust liveness-enforcing supervisor for Petri nets with unreliable resources based on mixed integer programming - researchr publication related

researchr

You are not signed in
Sign in
Sign up

GaiYun Liu, Yuting Liu, Zhiwu Li. Robust liveness-enforcing supervisor for Petri nets with unreliable resources based on mixed integer programming. Soft Comput., 26(8):4019-4032, 2022. [doi]

The following publications are possibly variants of this publication:

Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programmingMi Zhao, Zhiwu Li, HeSuan Hu. ijsysc, 41(9):1013-1026, 2010. [doi]

Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programmingMi Zhao, Yifan Hou, Ding Liu. ijcon, 83(10):2053-2066, 2010. [doi]

Robustness of deadlock control for a class of Petri nets with unreliable resourcesGaiYun Liu, Zhiwu Li, Kamel Barkaoui, Abdulrahman Al-Ahmari. isci, 235:259-279, 2013. [doi]

runs on WebDSL