private void jButton1ActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jButton1ActionPerformed
        try {
            if (this.txtTime.getText().equals("")) {
                this.txtTime.setText("0");
            }

            long time = Long.parseLong(this.txtTime.getText());
            if (time != 0) {
                this.token = new Token(null, time);
                token.setInitialMarkingtExpression(this.jTextArea1.getText() + ", " + time);
            } else {
                this.token = new Token(null, 0);
                token.setInitialMarkingtExpression(this.jTextArea1.getText());
            }


        } catch (Exception e) {
            System.out.println(e.getMessage());
        }
        dispose();
    }//GEN-LAST:event_jButton1ActionPerformed