quiver
generalized directed graph which is permitted to have multiple arcs and loops
McKay graph
quiver describing representations of a group
Petri net
family of modelling languages for distributed systems
generalized directed graph which is permitted to have multiple arcs and loops