Business Process Management

Colored Petri nets modeling

Consider a travel agency that mediates hotel reservations. The following things can happen:

1. The travel agency waits for customers to arrive and listen to their requests.
2. Based on the request, several available hotels are presented to the customer. The presented ho-tels are locked for reservation up to five minutes.
3. The customer has now three choices:
   1. He decides to change his request, the process continues at 1.
   2. He is not interested; the process finishes.
   3. He decides to book one of the hotels presented, the process continues at 4. This has to happen within the timeout; otherwise this step is not possible.
4. Again, two things can happen:
   1. The travel date arrives, the customer visits the hotel, and the hotel transmits a charge to the travel agency. The process finishes.
   2. The booking is cancelled before the travel date arrives. The process finishes.

a) Model the process described as a coloured Petri net. Include all necessary guard functions, arc expressions, etc.

b) Discuss the problems that might arise from the timeout.