theater

The Theater framework for editing statecharts and running finite state machines