Parallele_Verteilte_Systeme/mCRL2/VendingMachine/02_VM bounded.lps