@Override
    public String toString() {
        String s = "";
        if (!initialMarkingExpression.equals("")) {
            s = initialMarkingExpression;
        } else {
            s = object.toString();
            if (timestamp != 0) {
                s += " " + timestamp;
            }
        }
        return s;
    }