Constructor with PetriNet and marking as parameters for Marking.java added to create a marking from an other PetriNet.