OPENET4WF: Marco de conocimiento para el modelado de flujos de trabajo formalizados mediante Redes de Petri