ocr: Arrowhead colors for visual priorities Al high-level transition that takes effect from any substate 0f On-going Reser On going D - - - - Green2Main Coldi Ma Yellow All - TIMEOU TIMEOU Color Main-YE Red2Main Reset A"coarse" state that hides information inside it ColorM Figure 2: An extended state diagram.
