Robust control of Backward Conflict Free Systems with Resources using Petri nets | IEEE Conference Publication | IEEE Xplore