+ "; guard=" + getGuard()
    public String toString()    {        return "[Transition: origin=" + getOrigin()            + "; destination=" + getDestination()            + "; description=" + getDescription()            + "]";    }