DESIGN OF LOW INTERACTION DISTRIBUTED DIAGNOSERS FOR DISCRETE EVENT SYSTEMS Topics: Discrete Event Systems; Petri Nets (System Design/Verification with Nets, Protocols and Networks) In Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 4: ICINCO, 189-194, 2007 , Angers, France