Text this: Localidad estructural, criterio de división para la ejecución de Redes de Petri no autónomas en IP-Core