Nan Du, Hesuan Hu: Robust control of Backward Conflict Free Systems with Resources using Petri nets. CASE 2016: 1034-1041