temp.txt

Full expansion of 0 1 1 0
Considering transition *3* from applicable 0 2

Asynchronous composition
LTS with 4 states
 Initial State: 0
 alphabet: 0 3 4
 0 -> 0 with 3
 0 -> 1 with 0
 1 -> 2 with 0
 2 -> 3 with 4
 3 -> 3 with 0
LTS with 4 states
 Initial State: 0
 alphabet: 1 4
 0 -> 1 with 1
 1 -> 2 with 4
 2 -> 3 with 1
 3 -> 2 with 1
LTS with 3 states
 Initial State: 0
 alphabet: 2 3
 0 -> 1 with 2
 1 -> 1 with 3
 1 -> 2 with 2

Checker LTS with 3 states
 Initial State: 0
 alphabet: 0 1 2 3 4
 0 -> 1 with 3
 0 -> 0 with 0
 0 -> 0 with 1
 0 -> 0 with 2
 1 -> 2 with 4
 1 -> 1 with 0
 1 -> 1 with 1
 1 -> 1 with 2
 2 -> 2 with 0
 2 -> 2 with 1
 2 -> 2 with 2