Drawing a graph with animated tokens in the broweser

I have to implement a a "real-time" web application where some tokens are moving along the edges of a network graph.

The positions of the tokens on the graph are pushed from the server to all connected clients.

I am pretty confident that I can efficiently implement the pushing part with web-sockets.

However I have no experience in "graphics-heavy" web applications. What kind of technology/library/framework should I use to draw the network graph (which is static, once the page is loaded) and the tokens that move along the edges of the graph?

Intuitively I would go for SVG (but I have never used SVG so far), since that allows me to access the tokens as dom elements and to maipulate their position. Is this a good approach? Are there any libraries/frameworks that are predestined for drawing network graphs in the browser?

Thanks for any pointers.