Consider the following simple hotel reservation system. A customer makes a room request. If room is available, a confirmation is sent to the customer, otherwise the customer is put on a reservation list. If a room is confirmed, the customer may either use it, pay for the room, leave and the whole transaction is archived. However the customer may also cancel his/her reservation. When the customer is on waiting list, a room may become available, and then a confirmation is sent to a customer. The customer may also give up waiting and cancel his/her request. Model this reservation system as a FSP process reservation. Note that this process always stops, so you have to use the process STOP