Active identification of Petri net models