//This file was generated from (Academic) UPPAAL 4.0.8 (rev. 4276), March 2009

/*

*/
E<> Werker1.werkG1 && Werker2.werkG2

/*

*/
A[] Hamer1.bezet == (Werker1.werkG1 || Werker1.werkM || Werker2.werkG1 || Werker2.werkM)

/*

*/
A[] Hamer2.bezet == (Werker1.werkG2 || Werker2.werkG2)

/*

*/
E<> (Werker1.werkG1 || Werker1.werkM) && (Werker2.werkG1 || Werker2.werkM)

/*

*/
E<> Werker1.werkG2 && Werker2.werkG2

/*

*/
E<> Werker1.werkG1 && Werker2.werkG1

/*

*/
E<> Werker1.werkM && Werker2.werkM

/*

*/
A[] not deadlock