1. Abbes, S.: Probabilistic model for concurrent and distributed systems. Limit theorems and applications. PhD Thesis, IRISA-Université de Rennes 1 (2004)
2. Abbes, S., Benvensite, A.: Branching cells as local states for event structures and nets: probabilistic applications. INRIA Research Report (2004) RR-5347,
http://www.inria.fr/rrrt/rr-5347.html
3. Benveniste, A., Haar, S., Fabre, E.: Markov nets: probabilistic models for distributed and concurrent systems. IEEE Trans. on Aut. Cont. 48(11), 1936–1950 (2003)
4. Lecture Notes in Computer Science;A. Benveniste,2003
5. Desel, J., Esparza, R.: Free choice Petri nets. Cambridge University Press, Cambridge (1995)