Franck Pommereau

fixed Node.rename (GitHub issue #6)

...@@ -1865,7 +1865,10 @@ class Node (NetElement) : ...@@ -1865,7 +1865,10 @@ class Node (NetElement) :
1865 @param name: the new name of the node 1865 @param name: the new name of the node
1866 @type name: `str` 1866 @type name: `str`
1867 """ 1867 """
1868 - self.name = name 1868 + try :
1869 + self.net.rename_node(self.name, name)
1870 + except AttributeError :
1871 + self.name = name
1869 1872
1870 class Place (Node) : 1873 class Place (Node) :
1871 "A place of a Petri net." 1874 "A place of a Petri net."
......