// Place global declarations here.
// kanalen tussen klant en flappentapper
chan pas,
verzoek, // verzoek om 10 euro van klant aan automaat
geld;
// kanalen tussen flappentapper en bank
chan vraag_toestemming, // verzoek om 10 euro te mogen uitbetalen
akkoord,
niet_akkoord;Klant
int geld_op_zak=0; // geld dat de klant op zak heeftIS_BIJ_FLAPPENTAPPERKLAARFlappentapper
int in_kas = 200; // geldbedrag dat flappentapper in kas heeftBIJNA_KLAARKLAAR_OM_UIT_TE_BETALENKLAARBank
int saldo=80; // geld dat er op de rekening vd klant staat KLAAR
// Ons systeem bestaan uit een Klant, een Flappentapper, en
// een Bank.
// Er is alleen communicatie tussen Klant en Flappentapper
// en tussen Flappentapper en Bank.
system Klant, Bank, Flappentapper;