BreadthFirstScan[g, s, {"event_1" -> f_1, "event_2" -> f_2, ...}] performs a breadth-first scan (bfs) of the graph g starting at the vertex s and evaluates f_i whenever ...