效绵鼎 Labeled transition systems A transition system labeled by an alphabet 4 is a 6- tuple A=<S,So,T,a,B,a>where o<S,So,T,a,B>is a transition system, o A is a mapping from T to A taking each transition t to its label 1(t) Intuitively,the label of a transition indicates the action or event which triggers the transition.Labeled transition systems ◼ A transition system labeled by an alphabet A is a 6- tuple 𝒜 =< 𝑆, 𝑆0 ,𝑇, 𝛼, 𝛽, 𝜆 > where  < 𝑆, 𝑆0 , 𝑇,𝛼,𝛽 > is a transition system,  𝜆 is a mapping from T to A taking each transition t to its label 𝜆(𝑡) ◼ Intuitively, the label of a transition indicates the action or event which triggers the transition