A quantitative study of fork-join processes with non-deterministic choice: Application to the statistical exploration of the state-space.