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

/*

*/
A[] not deadlock

/*
Mutex property.
*/
A[]( not (P(0).cs and P(1).cs) )