3 task1 [label=<device<SUB>1</SUB>>];
4 task2 [label=<device<SUB>2</SUB>>];
5 taskp [label=<device<SUB>...</SUB>>];
6 taskn [label=<device<SUB>n</SUB>>];
9 dev1 [label=<device<SUB>1</SUB>>];
10 dev2 [label=<device<SUB>2</SUB>>];
11 devp [label=<device<SUB>...</SUB>>];
12 devn [label=<device<SUB>n</SUB>>];
14 server [label=<Shared [MTaskDevice]>];
18 devp -> server [style=invis];