On-Line Identification of Discrete Event Systems by Interpreted Petri Nets