//This file was generated from (Commercial) UPPAAL 4.0.14 (rev. 5615), May 2014

/*

*/
E<> cook.put

/*

*/
A[] not deadlock

/*

*/
E<> servings == 0

/*

*/
A[] not (Mutex.overflow or FullPot.overflow or EmptyPot.overflow)

/*

*/
A[] not (cook.put and servings != 0)

/*

*/
A[] not (s1.eat and servings == 0)

/*

*/
A[] servings >= 0