S. Abbes, Probabilistic Model for Concurrent and Distributed Systems . Limit Theorems and Application to Statistical Parametric Estimation Available from ftp, 2004.
URL : https://hal.archives-ouvertes.fr/tel-00007150

S. Abbes, The (True) Concurrent Markov Property and Some Applications to Markov Nets, Proc. of ICATPN 2005, pp.70-89, 2005.
DOI : 10.1007/11494744_6
URL : https://hal.archives-ouvertes.fr/hal-00350506

S. Abbes and A. Benveniste, True-concurrency probabilistic models, Information and Computation, vol.204, issue.2
DOI : 10.1016/j.ic.2005.10.001
URL : https://hal.archives-ouvertes.fr/hal-00350226

S. Abbes and A. Benveniste, Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications, 2004.
DOI : 10.1007/978-3-540-31982-5_6
URL : https://hal.archives-ouvertes.fr/hal-00350930

S. Abbes and A. Benveniste, Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications, Proc. of FOSSACS 2005, pp.95-109, 2005.
DOI : 10.1007/978-3-540-31982-5_6
URL : https://hal.archives-ouvertes.fr/hal-00350930

A. Benveniste, S. Haar, and E. Fabre, Markov nets: probabilistic models for distributed and concurrent systems, IEEE Transactions on Automatic Control, issue.11, p.48, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00638221

P. Billingsley, Probability and Measure, 1986.

J. Desel and J. Esparza, Free choice Petri nets, 1995.
DOI : 10.1017/CBO9780511526558

J. L. Doob, Stochastic Processes, 1953.

A. Mazurkiewicz, Trace theory, Petri Nets: Applications and Relationships to Other Models of Concurrency, pp.279-324, 1986.
DOI : 10.1007/3-540-17906-2_30

P. Nielsen, G. Plotkin, and G. Winskel, Petri nets, event structures and domains, part I, Theoretical Computer Science, vol.13, issue.1, pp.85-108, 1981.
DOI : 10.1016/0304-3975(81)90112-2

A. Raugi and J. Conze, Cours de DEA, Martingales et syst emes dynamiques. IR- MAR, 2002.

D. Varacca, H. Vv, and G. Winskel, Probabilistic event structures and domains, Proc. of CONCUR, pp.481-496, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00148921

H. Vv, Randomized non-sequential processes, Proc. of CONCUR, pp.184-201, 2001.