My understanding of Berlin problem is contained in there.
More can be proposed ... what's the interest about ?

Solve GivenFind PetShop.sm (13 КиБ) скачан 120 раз(а).

Solve GivenFind Critical Region Copy.sm (27 КиБ) скачан 106 раз(а).