Filosofo1:

 acquisisciF1.acquisisciF3.mangia1.rilasciaF1.rilasciaF3












acquisisciF1![]
acquisisciF2![]
acquisisciF3![]
acquisisciF4![]
tokenP![]
tokenD![]


def filosofo1 [] =
tokenD?[] =
acquisisciF1?[] = 
acquisisciF4?[] = 
bocca1?cibo = (acquisisciF1![] | 
                          acquisisciF4![] | 
                          tokenD![] |
                          filosofo1![])

filosofo1![]



Soluzione alternativa

tavola![1 1 1 1]


Def filosofo1 [] =
tavola?[1 x y 1] = (tavola![0 x y 0] | 
                               bocca1?cibo = 
                               tavola?[0 x y 0] = 
                               (tavola![1 x y 1] | filosofo1![])