the Gap Between Timed Automata and Bounded Time Petri Nets -- Matching Scenarios with