The following timing diagram of the elevator system shows two components: the operator and the elevator. Their states are listed on the right, and the time evolution is shown below. At first, neither state is idle. When the user swipes the card, Elevator scans it and verifies it within t 2 seconds. After that, the elevator is activated from t to t 4 seconds. After this time, they gain revert back to idle state.
