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

/*

*/
A[] not deadlock

/*
Checks if both processes are never at te same time in the critical section
*/
A[] not (P0.critical_section and P1.critical_section)\