DOT state diagram