Semaphore stick1 = 1;
Semaphore stick2 = 1;
Semaphore stick3 = 1;
Semaphore stick4 = 1;
Semaphore stick5 = 1;

// Code für Philosoph:

phil(stickl, stickr) {
  while (true) {
    think();

    P(stickl);
    if (lookup(stickr) == 0) {
      V(stickl);
    } else {
      P(stickr);
      eat();
      V(stickr);
      V(stickl);
    }
  }
}

// Gesamt:
par
  { phil(stick1, stick2); }
  { phil(stick2, stick3); }
  { phil(stick3, stick4); }
  { phil(stick4, stick5); }
  { phil(stick5, stick1); }
end par;