Door That Can Be Opened
A door turns on hinges when receives incoming events (close and open).
Events:
Open
the door opens and closes when the event is TRUE or FALSE.
OpenComplete
generates the outgoing TRUE event when the door is opened completely.
close
the door closes if the event of type SFTime comes.
open
the door opens if the event of type SFTime comes.