Prädikat/Ereignis-Netze

Zusammenfassung

Wir diskutieren, ausgehend von einem B/E-System, das als “System der denkenden und essenden Philosophen” bekanntgewordene Beispiel:

Drei Philosophen sitzen um einen runden Tisch herum. Jeder Philosoph hat vor sich einen Teller. Zwischen je zwei Tellern liegt eine Gabel (Abb.91). Wenn ein Philosoph ißt, benutzt er dafür die beiden Gabeln rechts und links von seinem Teller. Solange ein Philosoph nicht ißt, denkt er nach. Abb.92 zeigt dies als B/E-System mit den Bedingungen d_i (Philosoph p_i denkt), e_i (Philosoph p_i ißt) und g_i (i-te Gabel ist unbenutzt). Im dargestellen Fall ißt p_l, die beiden anderen Philosophen denken und nur die dritte Gabel liegt ungenutzt auf dem Tisch. Die denkenden Philosophen müssen nun mit dem Essen warten, bis p_l die Gabeln neben sich zurücklegt (t₁) und zu denken beginnt. Dann entsteht ein Konflikt um die dritte Gabel, sodaß entweder p₂ oder p₃ zu essen beginnen kann oder p_l nochmals ißt.