philo.abcd
439 Bytes
# get BlackToken
#from snakes.nets import *
buffer fork1 : BlackToken = dot
buffer fork2 : BlackToken = dot
buffer fork3 : BlackToken = dot
# buffer parameters have to be declared as such
net philo (left: buffer, right: buffer):
buffer eating : BlackToken = ()
([left-(dot), right-(dot), eating+(dot)]
; [left+(dot), right+(dot), eating-(dot)])
* [False]
philo(fork1, fork2)
| philo(fork2, fork3)
| philo(fork3, fork1)