public void addOutput(PetriPlace place, int multiplicity) { outputPlaces.Add(place, multiplicity); }
public void addInput(PetriPlace place, int multiplicity) { inputPlaces.Add(place, multiplicity); }