public void CleanTransitions()
{
for (int i = 0; i < transitions.Count; i++)
{
if (!states.Contains(transitions[i].source) || !states.Contains(transitions[i].target))
{
transitions.RemoveAt(i);
i--;
}
}
}
