Control of safe ordinary Petri nets using unfolding