Non-homogeneous Poisson point process (source code)

= Non-homogeneous Poisson point process
{c}

Let $\lambda$ be a nonnegative measurable intensity function on a space with reference measure $dx$. A Non-homogeneous Poisson point process has independent counts on disjoint measurable sets and
$$
N(A)\sim\operatorname{Poisson}\left(\int_A\lambda(x)\,dx\right)
$$
whenever the integral is finite.