Identification of DES unobservable behaviour by Petri nets