type
var
uint p,q,r;

place
people_wait uint 1,2,3,4,5;
people_eat uint ;
chops_free uint 1,2,3,4,5;
chops_use uint ;

transition

pickup : people_wait, chops_free; people_eat, chops_use;
p
p,q
q==p%5+1
p
p,q
~~

putdown : people_eat, chops_use; people_wait, chops_free;
p
p,q
q==p%5+1
p
r,q;r=p;
~~
