上py 适用于Python的UPPAAL包装器。 当前支持读取和写入.xml文件。 适用于Python> = 3.8。 依存关系 安装 通过点: pip install uppaal-py 用法 >> > from uppaalpy import core >> > my_nta = core . NTA . fromXML ( 'test.xml' ) >> > my_nta . to_file ( 'test_new.xml' , pretty = True ) 执照