Pyuppaal

New features:

1. UPPAAL `.xml` model editor, [demo](https://pyuppaal.readthedocs.io/en/latest/Demo4-Scripted%20Model%20Construction.html "readthedocs")

python
from pyuppaal import UModel
from pyuppaal.nta import Template, Location, Edge

m = UModel("model.xml")
m.declaration = "broadcast chan a,b;"
m.system = """rec = Receiver(a, b, 10, rec_end);\nsender = Sender(a, b);"""
m.queries = 'E<> Goal.pass'

location1 = Location(...)
location2 = Location(...)
edge1 = Edge(...)
template1 = Template(name="Receiver",
locations=[location1,location2],
init_ref=0,
edges=[edge1],
params="broadcast chan &param1",
declaration="clock t;")
m.templates = [template1]


2. common research functions:

* `UModel.find_all_patterns()`
* `UModel.fault_diagnosability()`
* `UModel.fault_identification()`
* `UModel.fault_tolerance()`
3. build-in [Monitor](https://pyuppaal.readthedocs.io/en/latest/ALL%20API.html#module-pyuppaal.monitors) class that can construct parameterized `Template` for advanced users.
4. documented demos:
- [Demo - PipeNet (find_all_patterns)](https://pyuppaal.readthedocs.io/en/latest/Demo1-PipeNet.html)
- [Demo - Pedestrian (find_all_patterns)](https://pyuppaal.readthedocs.io/en/latest/Demo2-Pedestrian.html)
- [Demo - Fault Diagnosis (fault_diagnosability, fault_identification)](https://pyuppaal.readthedocs.io/en/latest/Demo3-Fault%20Diagnosis.html)
- [Demo - Scripted Model Construction (pyuppaal.nta)](https://pyuppaal.readthedocs.io/en/latest/Demo4-Scripted%20Model%20Construction.html)
- [Demo - Trace Parser (pyuppaal.SimTrace)](https://pyuppaal.readthedocs.io/en/latest/Demo5-Trace%20Parser.html)

5. [updated documentation](https://pyuppaal.readthedocs.io/ "readthedocs")

We are working on PyUPPAAL v1.2.0, which supports basic editors and common research problems such as fault diagnosis.
It will be released in Dec 2023 - Jan 2024.

P.S.
1. We will skip v1.1.x for some reason.
2. v1.2.0 will change many APIs and bring lots of new features.