File talk:Reachability graph for petri net.png
Appearance
Why not display the nodes as cartesian coords?
(0,0) (1,0) (2,0)
(0,1)
(0,2) ...etc
Placing the transition arcs would be trivial.
Besides, the current png lacks a T3 from (1,1) to (1,0)...