My semestral work for KIV/ZOS - Dining philosophers