Explicit scenario. Selected connections illustrate the supplied order; no process execution is inferred.

0 / 7000 ms
Structural exploration

Paused

Finite chosen scenario Sequence diagram with 2 participants (A, B) and 8 messages. request found missing retry left 1 left 2 right done A B alt found missing loop explicit repetitions par Finite chosen scenario