The Uppyyl Simulator is a Python implementation of a DBM-based simulator for Uppaal models. In addition to the original simulation features, it provides the executed sequences of DBM operations applied to the clock state DBM during simulation.

You can download the repository for the Uppyyl Simulator here:
https://github.com/S-Lehmann/uppyyl-simulator