//This file was generated from (Academic) UPPAAL 4.0.13 (rev. 4577), September 2010

/*

*/
E<> (P0.Eat && P1.Eat)

/*

*/
E<> (P0.Eat && P2.Eat)

/*

*/
A<> P0.Think && F0.On_the_table && F1.On_the_table

/*

*/
P0.Eat --> F0.In_use && F1.In_use

/*

*/
A[] !deadlock