1. S. Abbes and A. Benveniste. True-concurrency probabilistic models: Markov Nets and the law of large numbers. Theoretical Computer Science, ISSN 0304–3975, 390:–3 129–170, 2008.
2. Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets;Aghasaryan;Journal Discrete Event Dynamic Systems,1998
3. Diagnosis of asynchronous discrete event systems, a net unfolding approach;Benveniste;IEEE Trans. on Aut. Control,2003
4. A. Benveniste, S. Haar, E. Fabre, C. Jard. Distributed Monitoring of concurrent and asynchronous systems-extended version. INRIA, No. 4842, 2004.
5. R. Boel and G. Jiroveanu. Distributed Contextual Diagnosis for very Large Systems. Proceeding of WODES04, Reims, France, 343–348, 2004.