Design of Bicolored Observers for Interpreted Petri Nets. - Luis I. Aguirre-Salas; Jorge Pelayo-Lopez; Alejandra Santoyo-Sanchez (ACC, 2007)