//This file was generated from UPPAAL 4.0.6 (rev. 2987), March 2007

/*

*/
A[] not deadlock

/*
Mutex property.
*/
A[]( not (P0.cs and P1.cs) )