//This file was generated from (Academic) UPPAAL 4.0.10 (rev. 4417), September 2009

/*

*/
E<> Jobber1.work_av_mallet && Jobber2.work_av_hammer

/*

*/
A[] Hammer.taken == (Jobber1.work_av_hammer || Jobber1.work_hard || Jobber2.work_av_hammer || Jobber2.work_hard)

/*

*/
A[] Mallet.taken == (Jobber1.work_av_mallet || Jobber2.work_av_mallet)

/*

*/
E<> (Jobber1.work_av_hammer || Jobber1.work_hard) && (Jobber2.work_av_hammer || Jobber2.work_hard)

/*

*/
E<> Jobber1.work_av_hammer && Jobber2.work_av_hammer

/*

*/
E<> Jobber1.work_av_mallet && Jobber2.work_av_mallet

/*

*/
E<> Jobber1.work_hard && Jobber2.work_hard

/*

*/
A[] not deadlock