If test states are involved, then a statechart can be generated from the action-state model. A statechart doesn’t show how many times an action is covered, thus it consists of less information, However, this is a different perspective, and you can check a statechart whether all the actions from a state leave. In this way, modeling can be controlled and checked. Here is an example based on our Pizza application.
You can also use the graph even if you omit states. In this case, you can see the test cases in a different way and you can check them easier. Here is a graph with adding placebo states S2—S8
