Changing behavior in split brain systems requires an understanding of the fact that the brain is in fact split. And even if you design the system to operate in

Changing behavior in split brain systems requires an understanding of the fact that the brain is in fact split. And even if you design the system to operate in your 'correct' solution, you may still result in imperfect booking if one side of the split exhausts its pre-allocated tickets and reports as unavailable when other sections of the system still have available tickets.