//This file was generated from (Academic) UPPAAL 4.1.18 (rev. 5444), November 2013

/*

*/
E<> S1.S

/*

*/
S1.S --> !S1.S

/*

*/
E<> S2.S

/*

*/
S2.S --> !S2.S

/*

*/
E<> S2.U

/*

*/
S2.U --> !S2.U

/*

*/
E<> S3.S

/*

*/
S3.S --> !S3.S

/*

*/
E<> S3.U

/*

*/
S3.U --> !S3.U

/*

*/
E<> F1.W

/*

*/
F1.W --> !F1.W

/*

*/
E<> F1.S

/*

*/
F1.S -->F1.S

/*

*/
E<> F2.W

/*

*/
F2.W --> !F2.W

/*

*/
E<> F2.S

/*

*/
F2.S --> !F2.S

/*

*/
E<> B.W

/*

*/
B.W --> !B.W

/*

*/
E<> B.A

/*

*/
B.A --> !B.A

/*

*/
E<> B.B

/*

*/
B.B --> !B.B

/*

*/
E<> B.S

/*

*/
B.S --> !B.S