Choose a CSV file
State with GREEN color indicated final state.
State with RED color indicated final state.
Number on each transition indicates the number of times that transition took place.