Close tab implemented. Operations require more than One PetriNet are executed iff Two PatriNets are selected.
Some little refactor.