Graphs that have links with meaning. Often used for: Cause and effect Prerequisites Definition A directed graph G is a pair (V,E) of: V - Set of Vertices E - Set of Edges where each edge specifies one direction (a,b) is a→b