When are timed automata weakly timed bisimilar to time Petri nets?
scientific article; zbMATH DE number 5344347