Text this: Un método computacional para la detección y caracterización de conflictos en redes de Petri