DIAGNOSIS OF DISCRETE EVENT SYSTEMS WITH PETRI NETS AND CODING THEORY Topics: Petri Nets (System Design/Verification with Nets, Protocols and Networks); Surveillance In Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, 15-22, 2008 , Funchal - Madeira, Portugal