|
@@ -98,7 +98,7 @@ class LoLADraw:
|
|
|
|
|
|
name = filename.replace(".lola", "")
|
|
|
nodes = {}
|
|
|
- graph = pydot.Dot(name, graph_type='digraph', layout='neato')
|
|
|
+ graph = pydot.Dot(name, graph_type='digraph', layout='fdp')
|
|
|
|
|
|
places, markings, transitions = self.get_net(filename)
|
|
|
print("Places: " + str(places))
|