Goal-driven reasoning for fuzzy knowledge-based systems using a Petri net formalism | Publicación