HW1Publictransportvehicle Terminal Terminal Calculate price Selected default ticket Payment failed Special ticket needed? Specific ticket selected Repeat up to 3 times if the card read fails Read card details Payment was successful Card is inserted again 15 minutes Set commute time to full length ticket Mark exact board and departure time System System End of day Calculate fare Payment was processed Orders Charge the card Store order Orders Process payment Store commute time for this order Order finished All orders from a given card on that day are taken into account to calculate the best price Commuter Bank Muzikar Martin (527391) The process models contactless payments on public transport in Brno. The commuter can either choose a specific ticket or just pay with the card and the system uses a default ticket. The final fare price is calculated at the end of the day, some amount of money is blocked on the commuters card so no frauds are made The commuter can also mark what time should the ticket be charged as by inserting the card when leaving the vehicle, this will be taken into account when calculating the final price at the end of the day. Tryagain Card is inserted card wasn't inserted in time (1 minute) Some amount of money is blocked There should not be two processes in single pool -1 What is this message about? -1 On L2 messages should be modelled in detail. Also user task suggest that customer is not external pool. -1 Result: 9