Software for fault diagnosis using knowledge models in petri nets. - Adrian Arboleda; Germán Zapata; José Velásquez; Luis Marin (Rev. Avances en Sistemas Informática, 2012)