Synthesis of Monitor-Based Liveness-Enforcing Supervisors for <inline-formula> <tex-math notation="LaTeX">$\rm{S}^{3}$ </tex-math></inline-formula>PR With <inline-formula> <tex-math notation="LaTeX">${\boldsymbol{\xi }}$ </tex-math></inline-formula>-Resources