LICENSE
MANIFEST.in
README.md
setup.py
src/pyuppaal/__init__.py
src/pyuppaal/build_cg.py
src/pyuppaal/monitors.py
src/pyuppaal/nta.py
src/pyuppaal/pyuppaal.py
src/pyuppaal/tracer.py
src/pyuppaal/umodel.py
src/pyuppaal/verifyta.py
src/pyuppaal.egg-info/PKG-INFO
src/pyuppaal.egg-info/SOURCES.txt
src/pyuppaal.egg-info/dependency_links.txt
src/pyuppaal.egg-info/top_level.txt
src/pyuppaal/utap/__init__.py
src/pyuppaal/utap/tracer.exe
src/pyuppaal/utap/tracer_darwin
src/pyuppaal/utap/tracer_linux
src/test_demos/Demo1-PipeNet.ipynb
src/test_demos/Demo2-Pedestrian.ipynb
src/test_demos/Demo3-Fault Diagnosis.ipynb
src/test_demos/Demo4-Scripted Model Construction.ipynb
src/test_demos/Demo5-Trace Parser.ipynb
src/test_demos/Doc_Readme.ipynb
src/test_demos/ToyInformation-1.xtr
src/test_demos/ToyInformation.xml
src/test_demos/conduction_1.png
src/test_demos/conduction_2.png
src/test_demos/constructed_model-2.xtr
src/test_demos/constructed_model-3.xtr
src/test_demos/constructed_model-4.xtr
src/test_demos/constructed_model-5.xtr
src/test_demos/constructed_model.xml
src/test_demos/demo_pedestrian-1.xtr
src/test_demos/demo_pedestrian.xml
src/test_demos/export_markdown.cmd
src/test_demos/model_A.xml
src/test_demos/model_B.xml
src/test_demos/models.jpg
src/test_demos/pedestrian.png
src/test_demos/pedestrian.xml
src/test_demos/refractory_1.png
src/test_demos/refractory_2.png
src/test_demos/scripted_model_building.png
src/test_demos/test_umodel_build.xml
src/test_demos/tmp_diagnosable_suffix_026dfad3-294d-4209-a35c-80283810f895-1.xtr
src/test_demos/tmp_diagnosable_suffix_026dfad3-294d-4209-a35c-80283810f895.xml
src/test_demos/tmp_diagnosable_suffix_0d732d0e-601a-48c3-9f83-4cb933dec750.xml
src/test_demos/tmp_diagnosable_suffix_24c768dc-10fb-427b-9cee-9d6b031475df.xml
src/test_demos/tmp_diagnosable_suffix_29761c5b-d440-475f-b8ef-c81bfbaffa9f.xml
src/test_demos/tmp_diagnosable_suffix_306012a2-5347-4cfb-9b3f-b63d66202607-1.xtr
src/test_demos/tmp_diagnosable_suffix_306012a2-5347-4cfb-9b3f-b63d66202607.xml
src/test_demos/tmp_diagnosable_suffix_321fad7e-1eba-4f15-9805-448ce1db5507-1.xtr
src/test_demos/tmp_diagnosable_suffix_321fad7e-1eba-4f15-9805-448ce1db5507.xml
src/test_demos/tmp_diagnosable_suffix_34591bcd-a108-41f6-b01b-a812855c081d-1.xtr
src/test_demos/tmp_diagnosable_suffix_34591bcd-a108-41f6-b01b-a812855c081d.xml
src/test_demos/tmp_diagnosable_suffix_374c609a-a248-4e42-a5c8-4e29b3f0a53d.xml
src/test_demos/tmp_diagnosable_suffix_3e6837ba-fd17-4dcd-90ac-01d5eb10ce48-1.xtr
src/test_demos/tmp_diagnosable_suffix_3e6837ba-fd17-4dcd-90ac-01d5eb10ce48.xml
src/test_demos/tmp_diagnosable_suffix_56d3c2e7-40cb-4f66-baa4-14a0c4b99c5f.xml
src/test_demos/tmp_diagnosable_suffix_584b7cd5-5902-41af-9321-62d7559b4545.xml
src/test_demos/tmp_diagnosable_suffix_624e4d85-cb43-4625-bd39-93af8581ed93.xml
src/test_demos/tmp_diagnosable_suffix_71cd30ae-c1b9-4e0a-9de9-1fff5f05b96c.xml
src/test_demos/tmp_diagnosable_suffix_7401dd41-5fc0-4167-89ba-38a501d1bebe.xml
src/test_demos/tmp_diagnosable_suffix_7430beb3-b06b-4963-b344-852a2b2065fa.xml
src/test_demos/tmp_diagnosable_suffix_777aeb3d-3ed6-4832-a84a-761180650bdf.xml
src/test_demos/tmp_diagnosable_suffix_7a39d983-2fd3-4b28-83fd-00b423ee4c6a.xml
src/test_demos/tmp_diagnosable_suffix_87fb640a-811a-4b5b-8af6-6cc092095ef6.xml
src/test_demos/tmp_diagnosable_suffix_8a94bbdf-2428-462b-870f-2f2b26231bad.xml
src/test_demos/tmp_diagnosable_suffix_8e0a1476-4347-4d20-ac80-4209328c87d7.xml
src/test_demos/tmp_diagnosable_suffix_916c003b-9af9-4f57-b8c5-8e476fff781c.xml
src/test_demos/tmp_diagnosable_suffix_94757694-db39-4bdc-8078-82d1674cc3d3.xml
src/test_demos/tmp_diagnosable_suffix_b44b558e-1adf-47ca-a850-82ec0a4e8653-1.xtr
src/test_demos/tmp_diagnosable_suffix_b44b558e-1adf-47ca-a850-82ec0a4e8653.xml
src/test_demos/tmp_diagnosable_suffix_c4a2c2da-4955-4cc9-b3f2-7b650747cf67.xml
src/test_demos/tmp_diagnosable_suffix_c681098d-5866-49a1-b98b-b78d1dcb0491.xml
src/test_demos/tmp_diagnosable_suffix_c70bd269-8c2b-4971-b61a-d7dffb44edef.xml
src/test_demos/tmp_diagnosable_suffix_ca579b8b-e3a4-4bc5-b8b6-a5fafe3fd3fc.xml
src/test_demos/tmp_diagnosable_suffix_e0426aaf-a82f-41b4-a3b9-b8dd0b4dad3c.xml
src/test_demos/tmp_diagnosable_suffix_e6a6abbe-93bd-43a6-ac8d-b28caebc3e02.xml
src/test_demos/tmp_diagnosable_suffix_f3047ea9-afc4-467a-aa6e-f6418b8efecb.xml
src/test_demos/tmp_diagnosable_suffix_f3d47989-666e-4be3-934a-f1cb88d29f04.xml
src/test_demos/tmp_find_all_patterns_6d38bee7-fe6c-4061-848b-cea42fc5b302.xml
src/test_demos/tmp_find_all_patterns_6ec97c39-5716-49a4-a352-9d19e44e557a.xml
src/test_demos/tmp_find_all_patterns_a53e2a26-9cf4-4f90-8d53-9c57b675d3a9.xml
src/test_demos/tmp_find_all_patterns_e6fe856c-5713-4581-8b4e-38a9917fcc15.xml
src/test_demos/tmp_find_all_patterns_iter_6d38bee7-fe6c-4061-848b-cea42fc5b302-1.xtr
src/test_demos/tmp_find_all_patterns_iter_6d38bee7-fe6c-4061-848b-cea42fc5b302.xml
src/test_demos/tmp_find_all_patterns_iter_6ec97c39-5716-49a4-a352-9d19e44e557a-1.xtr
src/test_demos/tmp_find_all_patterns_iter_6ec97c39-5716-49a4-a352-9d19e44e557a.xml
src/test_demos/tmp_find_all_patterns_iter_a53e2a26-9cf4-4f90-8d53-9c57b675d3a9-1.xtr
src/test_demos/tmp_find_all_patterns_iter_a53e2a26-9cf4-4f90-8d53-9c57b675d3a9.xml
src/test_demos/tmp_find_all_patterns_iter_e6fe856c-5713-4581-8b4e-38a9917fcc15-1.xtr
src/test_demos/tmp_find_all_patterns_iter_e6fe856c-5713-4581-8b4e-38a9917fcc15.xml
src/test_demos/tmp_identify_24a5dd40-4f7d-4f32-bb2a-a8659a0e250a-1.xtr
src/test_demos/tmp_identify_24a5dd40-4f7d-4f32-bb2a-a8659a0e250a.xml
src/test_demos/tmp_identify_4141e4d0-deea-43c3-b392-48a2c4cbabb0.xml
src/test_demos/tmp_identify_6abaeec3-7819-4783-a8a2-00248e161dc6.xml
src/test_demos/tmp_identify_6ff49bda-6a63-4426-930d-c3863fd1ed49.xml
src/test_demos/tmp_identify_713f83cc-fa34-4259-9e07-2de9d7ac2644.xml
src/test_demos/tmp_identify_9166df13-d11c-497e-a9ce-d88ca9e15a5f.xml
src/test_demos/tmp_identify_b71edce1-4b2b-4ab6-800b-1de419321e54-1.xtr
src/test_demos/tmp_identify_b71edce1-4b2b-4ab6-800b-1de419321e54.xml
src/test_demos/tmp_identify_ba3ace5e-45fa-4ec8-b974-1c29c0a9ce5c.xml
src/test_demos/tmp_identify_e626f1d2-0706-424d-9964-b4adc55b7f8c.xml
src/test_demos/tmp_identify_fc5c42c6-9dcb-4b2a-9dd0-ce6c9da2156d.xml
src/test_demos/trace_parser.png
src/test_integration/EPS.xml
src/test_integration/EPS_ScanFirst.xml
src/test_integration/Pedestrian_new.xml
src/test_integration/demo-1.xtr
src/test_integration/demo.xml
src/test_integration/demo1.xml
src/test_integration/demo2.xml
src/test_integration/demo3.xml
src/test_integration/demo_PipeNet.xml
src/test_integration/demo_PipeNet_Observer_template.xml
src/test_integration/demo_PipeNet_new-1.xtr
src/test_integration/demo_PipeNet_new.xml
src/test_integration/demo_PipeNet_new_pattern-1.xtr
src/test_integration/demo_PipeNet_new_pattern.xml
src/test_integration/demo_PipeNet_new_xtr-1
src/test_integration/demo_new-1.xtr
src/test_integration/demo_new.xml
src/test_integration/demo_new_grace-1.xtr
src/test_integration/demo_new_grace_xtr-1
src/test_integration/demo_new_pattern-1.xtr
src/test_integration/demo_new_pattern.xml
src/test_integration/demo_new_xtr-1
src/test_integration/demo_pattern-1.xtr
src/test_integration/demo_pattern.xml
src/test_integration/demo_trace-1.xtr
src/test_integration/demo_trace_xtr-1
src/test_integration/demo_xtr-1
src/test_integration/pedestrian.xml
src/test_integration/pedestrian_new.xml
src/test_integration/pipenet.svg
src/test_integration/test1.xml
src/test_integration/test_umodel.py
src/test_integration/toy_model_diagnosable.xml
src/test_integration/toy_model_not_diagnosable.xml
src/test_integration/figs/Fault_Diagnosis.png
src/test_integration/figs/PipeNetMermaid.png
src/test_integration/figs/PipeNet_CG.png
src/test_integration/figs/demo.png
src/test_integration/figs/demo_patterns.png
src/test_integration/figs/pipeNetInput.png
src/test_integration/figs/pipeNetModel.png
src/test_integration/figs/pipeNetMonitor0.png
src/test_integration/figs/pipeNetMonitor1.png
src/test_integration/figs/pipeNetObserver.png
src/test_integration/figs/pipeNetPatterns.png
src/test_unit/constructed_model-2.xtr
src/test_unit/constructed_model-3.xtr
src/test_unit/constructed_model-4.xtr
src/test_unit/constructed_model-5.xtr
src/test_unit/constructed_model.xml
src/test_unit/constructed_model_xtr-2
src/test_unit/constructed_model_xtr-3
src/test_unit/constructed_model_xtr-4
src/test_unit/constructed_model_xtr-5
src/test_unit/demo1.xml
src/test_unit/demo2.xml
src/test_unit/demo3.xml
src/test_unit/pedestrian-1.xtr
src/test_unit/pedestrian.xml
src/test_unit/t2-.xtr1.xml
src/test_unit/t2-1.xml
src/test_unit/t2-_xtr1.xml
src/test_unit/test.if
src/test_unit/test1-1.xtr
src/test_unit/test1.xml
src/test_unit/test_mermaid.py
src/test_unit/test_new_factory.py
src/test_unit/test_umodel_build-2.xtr
src/test_unit/test_umodel_build-3.xtr
src/test_unit/test_umodel_build-4.xtr
src/test_unit/test_umodel_build-5.xtr
src/test_unit/test_umodel_build.py
src/test_unit/test_umodel_build.xml
src/test_unit/test_umodel_build_xtr-2
src/test_unit/test_umodel_build_xtr-3
src/test_unit/test_umodel_build_xtr-4
src/test_unit/test_umodel_build_xtr-5
src/test_unit/test_utap.if
src/test_unit/test_utap.py
src/test_unit/test_utap.xtr
src/test_unit/test_verifyta.py