protected TableModel createModel(Transition transition) {
		final PDATransition t = (PDATransition) transition;
		return new AbstractTableModel() {
			public Object getValueAt(int row, int column) {
				return s[column];
			}

			public void setValueAt(Object o, int r, int c) {
				s[c] = (String) o;
			}

			public boolean isCellEditable(int r, int c) {
				return true;
			}

			public int getRowCount() {
				return 1;
			}

			public int getColumnCount() {
				return 3;
			}

			public String getColumnName(int c) {
				return NAME[c];
			}

			String s[] = new String[] { t.getInputToRead(), t.getStringToPop(),
					t.getStringToPush() };
		};
	}