STATES

States (Closed, Opened, Transitions)

Global Constants

Name	Type	Initial Value
Closed	STRING	‚Closed‘
Opening	STRING	‚Opening‘
Opened	STRING	‚Opened‘
Closing	STRING	‚Closing‘
Unknown	STRING	‚Unknown‘