Modificado generador de archivo XML, ahora es StateDiagramTransducer, hay que probarlo para integrarlo