The python script run.py runs the example. There's also run.html, which will be the browser version of the example. This will involve generating Rust code from the statechart model, and compiling Rust to WebAssembly.
