Published online by Cambridge University Press: 01 July 2016
Consider the Boolean model in ℝ2, where the germs form a homogeneous Poisson point process with intensity λ and the grains are convex compact random sets. It is known (see, e.g., Cressie (1993, Section 9.5.3)) that Laslett's rule transforms the exposed tangent points of the Boolean model into a homogeneous Poisson process with the same intensity. In the present paper, we give a simple proof of this result, which is based on a martingale argument. We also consider the cumulative process of uncovered area in a vertical strip and show that a (linear) Poisson process with intensity λ can be embedded in it.