Real time identification of discrete event systems by Petri Nets