Dato il sistema SA s1 s3 s5 s7 s8 b a con B c con Y b d con B e C s2 s4 s6 a con A g d con A e C s1s2 s4 s3 s5 s7 s8 s6 e con X b a d con C c con Y g b A B AB
Il suo Grafo di Raggiungibilità e: tutti i comportamenti possibili ae con x b b g b g c con y g
Il corrispondente FSP e: A = (e_conX --> b --> A | a_conB --> b --> c_conY --> d_conBeC -->A) B = (a_conA --> g --> d_conAeC --> B A_B = (A || B ) ( i colori indicano le azioni da sovrapporre ) Il cui LST e isomorfo al precedente grafo di raggiungibilita: stesso numero di nodi (stati), stesso numero di archi con eguale etichettatura