Grouping multiple edges together is possible by defining the graph as strict.
From the Graphviz documentation:
If the graph is strict then multiple edges are not allowed between the same pairs of nodes.
What I am interested in however, is whether I can define some 'behavior' how to group them together. For example, I would be interested in adding a label showing how many edges have been grouped together, or changing the thickness of the arrow.
Is something similar possible using Graphviz directly? I suppose I could do my own preprocessing but I don't want to reinvent the wheel.