Documentation of PetriNetGraph completed.