Draw a Petri-Net model representing the following workflow application

1. Draw a Petri-Net model representing the following workflow application HandleFault ReplyFauit ?| Receive 2 DataMap!? DataMap2 DataMap 3 DataMap4 6)CheckHote!Reservation while I CheckFightReservation checkC&Reservation ?EvaluateReservatonResult ica Confir maton | Receive activity The Receive activity starts the travel booking process. The message sent to the process contains the required information in order to be able to perform the travel reservations, for example the destination and the day of departure. Data Maps Data mapping in the travel booking process is done with Assign activities. The input variable for each invoke activity must be initialized and set before the invoke