Partitioning rules

S1

S6

C1

SA

S1

C1

S1

S6

C2

SA

S1

C2•S6

Rule #1: Source-state transformation

Replace by transition to idle state (SA)

Rule #2: Destination state transformation

Replace with exit transition from idle state

Previous slide

Next slide

Back to first slide

View graphic version