Using a safety notion in petri nets to analyse real-time systems