Question: In the ticketing machine example described in Lecture Notes, suppose that the ticket selection buttons are deactivated once a ticket type has been selected, and
In the ticketing machine example described in Lecture Notes, suppose that the ticket selection buttons are deactivated once a ticket type has been selected, and only reactivated at the end of the transaction. In addition, suppose that once enough money has been entered to pay for the required ticket, the coin entry slot is closed, and only reopened once any ticket and change have been issued. Use entry and exit actions to show this behavior explicitly on the below state-chart:

coinfamount) ticket(oost) dle no change] freturn money [changel fissue ticket and change dof check change availability after(30 seconds) ticket cancel ooin(amount) enough] [enough Transaction No Ticket Selected Ticket Selected ticket(cost) nct enough] ooin(amount coin(amount not enough] coinfamount) ticket(oost) dle no change] freturn money [changel fissue ticket and change dof check change availability after(30 seconds) ticket cancel ooin(amount) enough] [enough Transaction No Ticket Selected Ticket Selected ticket(cost) nct enough] ooin(amount coin(amount not enough]
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
