Feedback control of petri nets based on place invariants