n = PetriNet('n')
#n.add(a)
n.add(c)
n.add(d)
n.add(t2)
#n.add(l3)
n.add(l4)
n.add(l5)
#print n
m.to_dot('/home/tosh/Desktop/reti/'+m.name.replace('.','_').replace(' ',''), 'png')
#n.replace_place(c,Place('z'))
#print n
n.to_dot('/home/tosh/Desktop/reti/'+n.name.replace('.','_').replace(' ',''), 'png')
#print m
#print n
x = m.union(n, [d])
x.to_dot('/home/tosh/Desktop/reti/'+x.name.replace('.','_').replace(' ',''), 'png')
#print x
z = PetriNet('z')
e = Place('e')
t3 = Transition('t3')
l6 = Link(e,t3)
t4 = Transition('t4')
l7 = Link(t4,c)
z.add(e)
z.add(c)
z.add(t3)
z.add(t2)
z.add(a)
