Identification of Petri nets via integer programming