I'm performing software model checking with SPIN and Promela. The tool I'm using (spinSpider) generates automata graphs with Dot.
However, some of the edges were not looking very good so I tried to convert a Dot graph into Dia file format. It would be possible for me to edit some of odd-looking graphs manually.
Here's the command I used:
dot -Tdia ricecooker.dot -o cooker.dia
Surprise! no arrow heads... I tried a bitmap format (png): worked fine. I tried a vector-based format (svg): worked fine too.
A correct Dia file would have been great for manual editions of graphs prior to showing them off in a term paper.
Thanks for reading this,
(the file I'm processing is the control panel of the
controller module of an hypothetical rice cooking device:
my teacher must enjoy eating rice :) .
Input file: b1824.dot
Output file: b1824.dia
Comments: Ah yes, I'm using Dia v.0.97.