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

Solve GivenFind PetShop.sm (13,46 KiB) scaricato 1444 volta(e).

Solve GivenFind Critical Region Copy.sm (27,79 KiB) scaricato 1362 volta(e).