Uzupelnienie PetriNet + testy