Necesito dibujar gráficos que representen máquinas de estados finitos. Traté de usarGrafico#. Es genial, pero le faltan algunas cosas. No hay documentación, lo que hace que sea muy difícil de usar, no puedo dibujar bucles (bordes de un vértice a sí mismo) utilizando su control WPF personalizado y el etiquetado de bordes tampoco está implementado. ¿Hay alguna otra biblioteca o forma aconsejada de dibujar gráficos en WPF?

Funcionalidad que necesito:

etiquetado de bordesaristas de bucle (cíclicas)etiquetado de vérticedibujar círculos simples / dobles alrededor de los vértices: los vértices deben representarse como un círculo (o doble círculo) con una etiqueta dentro

¿Algunas ideas?

EDITAR: Tengo algunas proposiciones, por lo que estoy agradecido. Sin embargo, creo que no he dejado claro mi pensamiento. Necesito este tipo de gráfica:http://static.max99x.com/school/automata-editor1.png. Todas las herramientas sugeridas hasta ahora no son adecuadas para esto o quizás no sé cómo aplicarlas en esta situación.