效绵鼎 Transition systems A transition systems is a tuple A=<S,So,T,a,B> where o S is a finite or infinite set of states, So is initial location o Tis a finite or infinite set of transitions, a and B are two mapping from T to S which take each transition t in Tto the two states a(t)and B(t),respectively the source and the target of the transition t. A transition t with some source s and target s'is written t:S→S. Several transitions can have the same source and target. A transition system is finite if S and T are finite.Transition systems ◼ A transition systems is a tuple 𝒜 =< 𝑆, 𝑆0, 𝑇, 𝛼, 𝛽 > where  S is a finite or infinite set of states,  𝑆0 is initial location  T is a finite or infinite set of transitions,  𝛼 and 𝛽 are two mapping from T to S which take each transition t in T to the two states 𝛼(𝑡) and 𝛽(𝑡), respectively the source and the target of the transition t. ◼ A transition t with some source s and target s’ is written t : s→s’. ◼ Several transitions can have the same source and target. ◼ A transition system is finite if S and T are finite