On One of Matérn's Hard‐core Point Process Models