Conditional simulation of a Boolean model

A Boolean model in ℝ d is the union of independent random compact subsets of ℝ d (called ‘grains’) located according to a Poisson point process. A sequential algorithm is proposed to conditionally simulate a Boolean model, i.e. so that a finite set of specified points belongs to the grains and another set to the complementary phase (referred to as the ‘pores’).