What tool have you used to generate the figures from JSON/FASTEN?

[davide-q]

The paper contains some figures with arrows and colors, very useful for human (rather than machine) understanding.

However it looks like this project generates output in either JSON or FASTEN format which are machine-friendly but not human friendly and certainly not graphics. How have you generated the figures in the paper and/or what would you recommend people to use to go from JSON (or FASTEN) to an output more suitable for human consumption?

[vitsalis]

The figures were created manually using the DOT language. Unfortunately, while I looked for it when writing the paper, I did not find a tool that can efficiently convert JSON to a visual representation.