When the $t_i$ are incommensurable in the sense that they generate a dense subgroup, $N(t)=CX_0^t+o(X_0^t)$ for a given constant $C$. This is a consequence of the standard renewal theorem and needs no hypothesis on the monotonicity of $N$.

To see this, let $(\xi_n)$ denote some i.i.d. random variables such that $P[\xi_n=t_i]=X_0^{-t_i}$ for every $i$. Introduce $M(t)=N(t)/X_0^t$. Then 
$$
M(t)=E[M(t-\xi_1)].
$$ 
Fix $t_0$ such that $t_0\ge t_i$ for every $i$. For every positive $n$, let $S_n=\xi_1+\cdots+\xi_n$. For every $t > t_0$, consider the first time $T(t)$ such that $S_{T(t)}\ge t-t_0$. Since $T(t)$ is a stopping time, the martingale property yields
$$
M(t)=E[M(t-S_{T(t)})].
$$ 
Reversing the time axis, $t_0-(t-S_{T(t)})$ becomes the overshoot over $t-t_0$ for the renewal process based on the sequence $(\xi_n)$ and starting from $0$. In the non lattice case, the renewal theorem asserts that $t_0-(t-S_{T(t)})$ converges in distribution to a random variable $\xi_0$ when $t\to+\infty$. Being lattice means that there exists a nonzero $a$ such that $a\xi_n$ is almost surely integer valued, hence the non lattice case corresponds to non commensurate parameters $t_i$. 

Thus, when the $t_i$ are non commensurate, $N(t)/X_0^t=M(t)\to C$ wih
$$
C=E[M(t_0-\xi_0)]=X_0^{-t_0}E[N(t_0-\xi_0)X_0^{\xi_0}].
$$ 
Finally, $\xi_0$ is distributed like $u\xi'$ where $u$ and $\xi'$ are independent, $u$ is uniform on $[0,1]$ and the distribution of $\xi'$ is the size-biased distribution of the distribution of $\xi_n$, given by $P[\xi'=t_i]=t_iX_0^{-t_i}/E[\xi_n]$. Hence one can write $C$ as an explicit integral of the function $N$ over $[0,t_0]$. 

A reference is <a href="http://books.google.com/books?hl=fr&lr=&id=BeYaTxesKy0C&oi=fnd&pg=PR5&dq=Applied+Probability+and+Queues&ots=QxdOx7Pq4a&sig=xYy2TVuwbr-VGz5wb8oxtPP6V3w#v=onepage&q&f=false">Applied Probability and Queues</a> by Søren Asmussen.