pyuppaal

pyuppaal is a Python library for manipulating UPPAAL xml files originally developed by Andreas Dalsgaard, Mads Chr. Olesen and Martin Toft at Aalborg University as a part of there master thesis. 

pyuppaal can pars and output valid UPPAAL xml files, and can be used to manipulate the models programmatic and supports automatic layouting of models files using dot.

pyuppaal also includes some work for GUI support, however not yet completed.

pyuppaal has among other been used as parsing library for the opaal model checker.

You can find more information about pyuppaal on it launchpad project page.