La diagnosticabilidad de un sistema es la posibilidad de detectar y localizar el estado de falta en el que se encuentra el sistema a partir del conocimiento de sus entradas, salidas y la estructura de su modelo en un tiempo finito. En este trabajo se extiende esa definicion al ambito de los Sistemas de Eventos Discretos (SED) modelados con Redes de Petri Interpretadas(RPI). Las RPI son usadas para modelar tanto el comportamiento normal y de falta de un sistema. Basandose en tal modelo se propone la nocion de diagnosticabilidad entrada-salida y se propone un algoritmo polinomial para...