Robust Liveness Controllers for Time Petri Nets With Unreliable Resources. - Xiaobin Zhang; Yonglai Wang; Biaohua Xu; Gaiyun Liu (CASE, 2024)