Text this: Aplicación de las Redes de Petri en el dominio del cometimiento de hurto en supermercados.