generates nodes transitions in dot format