Complete petri net; Edge