Brownian Motions on Metric Graphs I - Definition, Feller Property, and Generators

Brownian motions on a metric graph are defined, their Feller property is proved, and their generators are characterized. This yields a version of Feller’s theorem for metric graphs.