A. Benveniste, E. Fabre, and S. Haar, Markov nets: probabilistic models for distributed and concurrent systems Extended version of this paper ftp, Irisa Research Report, vol.1538, 2003.

A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, and C. Jard, Fault detection and diagnosis in distributed systems : an approach by partially stochastic Petri nets, Discrete event dynamic systems: theory and application, special issue on Hybrid Systems, pp.203-231, 1998.

M. A. Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, Modeling with Generalized Stochastic Petri nets, Wiley series in parallel computing, 1995.

M. A. Marsan, G. Balbo, G. Chiola, and G. Conte, Generalized Stochastic Petri Nets Revisited: Random Switches and Priorities, Proc. PNPM '87, pp.44-53

F. Baccelli, S. Foss, and B. Gaujal, Free choice Petri nets?an algebraic approach, IEEE Trans. on Autom. Control, issue.12, pp.41-1751, 1996.
DOI : 10.1109/9.545714
URL : https://hal.archives-ouvertes.fr/inria-00073851

F. Bause and P. S. Kritzinger, Stochastic Petri Nets, An introduction to the Theory, 1996.

A. Benveniste, B. C. Levy, E. Fabre, and P. L. Guernic, A calculus of stochastic systems, Theoretical Computer Science, issue.152, pp.171-217, 1995.
DOI : 10.1007/3-540-58468-4_164
URL : https://hal.archives-ouvertes.fr/inria-00074210

A. Benveniste, E. Fabre, S. Haar, and C. Jard, Diagnosis of asynchronous discrete event systems, a net unfolding approach, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00638345

C. Cassandras and S. Lafortune, Introduction to discrete event systems, 1999.

R. David and H. Alla, Petri nets for modeling of dynamic systems, Automatica, vol.30, issue.2, pp.175-202, 1994.
DOI : 10.1016/0005-1098(94)90024-8

J. Desel and J. Esparza, Free Choice Petri Nets, 1995.
DOI : 10.1017/CBO9780511526558

R. Debouk, S. Lafortune, and D. Teneketzis, Coordinated decentralized protocols for failure diagnosis of discrete event systems . Discrete Event Dynamic Systems: theory and application, pp.33-86, 2000.

J. Engelfriet, Branching processes of Petri nets, Acta Informatica, vol.4, issue.6, pp.575-591, 1991.
DOI : 10.1007/BF01463946

J. Esparza, S. Römer, and W. Vogler, An improvement of McMillan's unfolding algorithm, Formal Methods in System Design, vol.20, issue.3, pp.285-310, 2002.
DOI : 10.1007/3-540-61042-1_40

J. Esparza and S. Römer, An Unfolding Algorithm for Synchronous Products of Transition Systems, proceedings of CON- CUR'99, 1999.
DOI : 10.1007/3-540-48320-9_2

E. Fabre, A. Benveniste, C. Jard, L. Ricker, and M. Smith, Distributed state reconstruction for discrete event systems, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187), 2000.
DOI : 10.1109/CDC.2000.914132
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.592

S. Haar, Branching processes of general, Proc. Workshop on Concurrency, MFCS'98, pp.105-127, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00638356

S. Haar, Probabilistic Unfoldings and Partial Order Fairness in Petri Nets, Process Algebra and Probabilistic Methods. Proceedings PAPM-ProbMiV 2002, pp.95-114
DOI : 10.1007/3-540-45605-8_7
URL : https://hal.archives-ouvertes.fr/inria-00638349

S. Haar, Probabilistic Cluster Unfoldings, Fundamenta Informaticae, vol.5334, pp.281-314, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00638276

J. Peter and . Haas, Stochastic Petri Nets. Modeling, Stability, Simulation, 2002.

K. X. He and M. D. Lemmon, Liveness verification of discreteevent systems modeled by n-safe Petri nets, Proc. of the 21st Int. Conf. on Application and Theory of Petri Nets, 2000.

K. X. He and M. D. Lemmon, On the existence of livenessenforcing supervisory policies of discrete-event systems modeled by n-safe Petri nets, Proc. of IFAC'2000 Conf. on Control Systems Design, special session on Petri nets, 2000.

K. Mcmillan, Symbolic model checking: an approach to the state explosion problem, Kluwer, 1993.

P. A. Meyer and C. Dellacherie, Probabilités et potentiels, chap. I-IV, 1975.

M. 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
URL : http://doi.org/10.1016/0304-3975(81)90112-2

W. Reisig, Petri nets, 1985.

G. Shafer, A mathematical theory of evidence, 1976.

H. Völzer, Randomized Non-sequential Processes, Proceedings CONCUR 2001 ? 12th Int. Conf. on Concurrency Theory, Aalborg, pp.184-201, 2001.
DOI : 10.1007/3-540-44685-0_13

H. Völzer, Fairness, Randomisierung und Konspiration in verteilten Algorithmen, 2001.