Adding PetriNet code and one unit test