void OpenLastPetriNetFileCommandExecute(LastOpenedFile file) { OpenPetriNet(file.FileName); }
bool OpenLastPetriNetFileCommandCanExecute(LastOpenedFile file) { return(true); }