Adding more examples, changing diagrams and GspPetrinetVisualizer.