//This file was generated from UPPAAL 4.0.2 (rev. 2491), August 2006

/*

*/
A[] (Klant.KLAAR and Bank.KLAAR) imply Klant.geld_op_zak + Bank.saldo == 80

/*

*/
A[] not deadlock

/*

*/
//NO_QUERY