Let t be a transition system a state s is a terminal state of t if there are no state s' such that s→s′ a state s is a deadlock state of t if s is reachable and terminal◼ Let T be a transition system. A state s is a terminal state of T if there are no state s’ such that s → 𝑠 ′ . ◼ A state s is a deadlock state of T if s is reachable and terminal