It also doesn't necessarily imply cascading. Some of the implementations that support it just allow one state to exit via multiple transitions (like Stage). See below. It's kind of orthodox that a single horizontal bus line is used for exclusive while the double is for parallel simultaneous threads. This "exclusive with priority" one is a new one on me.