E. Fabre, Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri nets. Discrete Event Dynamic Systems: Theory and Applications, pp.203-231, 1998.

S. Genc and S. Lafortune, Distributed Diagnosis of Discrete-Event Systems Using Petri Nets, Lecture Notes in Computer ScienceLNCS), pp.2679316-336, 2003.
DOI : 10.1007/3-540-44919-1_21

M. Sampath, Failure diagnosis using discrete-event models, IEEE Transactions on Control Systems Technology, vol.4, issue.2, pp.105-124, 1996.
DOI : 10.1109/87.486338
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.852

D. , R. , S. Lafortune, and D. Teneketzis, Coodinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems. Discrete Event Dynamic Systems: Theory and Applications, pp.33-86, 2000.

Y. Pencole and M. Cordier, A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks, Artificial Intelligence, vol.164, issue.1-2, pp.121-170, 2005.
DOI : 10.1016/j.artint.2005.01.002
URL : https://hal.archives-ouvertes.fr/inria-00511104

F. Yang, Some Discussion on the Development of Software Technology ACTA ELECTRONICA SINICA, pp.1901-1906, 2002.

L. Chang, A Tableau Decision Algorithm for Dynamic Description Logic, Chinese Journal of Computers, vol.31, issue.6, pp.31-896, 2008.
DOI : 10.3724/SP.J.1016.2008.00896