// Modellierung der dinierenden Philisophen mit Semaphoren: // Stäbchen als Semaphore: Semaphore s1 = 1; Semaphore s2 = 1; Semaphore s3 = 1; Semaphore s4 = 1; Semaphore s5 = 1; par { phil(s1,s2); } { phil(s2,s3); } { phil(s3,s4); } { phil(s4,s5); } { phil(s5,s1); } phil(stickl, stickr) { while (true) { think(...); P(stickl); if ( lookup(strickr) == 0 ) { V(stickl); } else { P(stickr); eat(); V(stickl); V(stickr); } } }