I am working on human gait, which constists of different phases with different right hand sides, a hybrid dynamical system. I intend to implement a petri net, which allows for transitions to other states depending on its actual state.