State and Statements
Consider symbolic state vector:
State Statements Number Executed
1 A
2 B
3 C
3.1 D
3.2 E
Every time (serial (parallel (serial occurs, pLevel++; stateVector[pLevel] becomes current.
(serial
(statement A)
(statement B)
(parallel
(statement C)
(serial
(statement D)
(statement E) )))
Previous slide
Next slide
Back to first slide
View graphic version