I am a computer science student, so my Maths knowledge is patchy. I'd like to know if there is a 'proper' name for what I'd call a Non-Deterministic (or probabilistic) Directed Graph. i.e a graph where from a particular node there may be more than one edge with the same label, each with a probability.
In computer science, this would be a non-deterministic finite state machine, but I'm unsure if Graph Theory has another name for it?
My end-goal is to find out about the various measures of centrality that can be applied to such graphs - so any information on that would also be greatly appreciated.