Partitioning rules (con’t)
Rule #3: Multiple transitions with same source or destination
Source ? Replace by transitions to idle state (SA)
Destination ? Replace with exit transitions from idle state
Rule #4: Hold condition for idle state
OR exit conditions and invert