Petri nets synthesis