Room Door
Basic transition system example with 6 states forming a linear transition graph. Demonstrates valid transitions and attempts to perform an invalid transition.
The state machine can be represented as
Locked ⇔ Closed ⇔ Opened ⇔ Opened Inside ⇔ Closed Inside ⇔ Locked Inside
This documentation is generated from the extended Markdown documentation using Extensible Markdown for Visual Studio Code.