Adding more unit test to PetriNet