public void AddTransition(string key, ITransition transition)
{
this.transitions.Add(key, transition);
SimpleReplica replica = this.replicas [transition.GetFromReplicaKey()] as SimpleReplica;
replica.AddTransition(transition);
}
