An implementation of Dijkstra's shortest path algorithm for EMF-based models.