In computer networks nodes are often interconnected using multiple links (=edges) which are logically grouped (Link Aggregation [LAG], Multi-Chassis LAG [MCLAG], Port-Channels, Etherchannels etc). This is often included in network diagrams using a circle over the links and a label for this circle
Visual Examples: LAG (a single node to another single node):

Logical grouping and label in blue
The logical group IDs (Po100, Po200) of the LAG is only locally unique. Meaning the IDs can be different on nodes A and B.
MCLAG (a cluster to another cluster/single node):

Logical grouping and label in blue
In a cluster, the two links towards another node are logically linked with an ID which is globally unique within the cluster.
Can the parts in blue be generated using graphviz / dot?
I read through the graphviz documentation and could not find a fitting attribute to achieve what I want.
Graphviz is not well suited for this, but you can duplicate the examples. It is rather fiddly.
Giving:

Here are two other solutions to the question (more or less)