//This file was generated from UPPAAL 3.6 Alpha 5 (rev. 1604), Mar 2006

/*

*/
A[] not deadlock

/*
Mutex property: Due to symmetry this is enough.

Note: For mutex, locations "check" and "set" must be committed!
*/
A[]( not (P0.cs and P1.cs) )