public void run() {
        try {
            correct = check();
        } catch (ModelingException e) {
            e.printStackTrace();
        }
        if(correct) {
            try {
                simulate();
            } catch (IOException e) {
                e.printStackTrace();
            }
        }
    }