workflow files were created with the yED Graph Editor (https://www.yworks.com/products/yed)

setting the vector bridge style:
Preferences -> Display -> Bridge Style

On import of png files select:
Scaling Factor: 4
(for high resolution and display size in the documentation)
