Les systèmes concurrents sont analysés sous leur sémantique d'entrelacement (interleaving) ou sous leur sémantique d'ordre partiel. Pour les systèmes probabilistes, la sémantique d'ordres partiels n'a été que récement explorée, en particulier pour les réseaux de Petri et les structures d'événements par Varacca-Völzer-Winskel et par Abbes-Benveniste.
On cherche à rendre de compte de l'intuition que des « processus parallèles doivent être indépendants en probabilité ». On introduit pour cela une notion d'état local et d'action locale, sous forme de cellules de branchement pour les structures d'événements, et on en donne une interprétation probabiliste. Finalement on s'intéresse à une loi des grands nombres, dont la formulation est originale puisqu'elle ne comprend pas d'indice de temps totalement ordonné, contrairement aux processus stochastiques « classiques ».