OvenMPST
GitHub
OvenMPST IDE
Global protocol
Load an example
Show graph
Show graphviz dot file
Analyse
Global Machine
Local Projections