<?xml version="1.0" encoding="UTF-8"?>
<ns0:definitions xmlns:ns0="http://www.omg.org/spec/BPMN/20100524/MODEL" xmlns:ns1="http://www.omg.org/spec/BPMN/20100524/DI" xmlns:ns2="http://www.omg.org/spec/DD/20100524/DC" xmlns:ns3="http://www.omg.org/spec/DD/20100524/DI" id="Definitions_HotelNational_P46" targetNamespace="http://bpmn.io/schema/bpmn" exporter="Camunda Modeler" exporterVersion="5.46.1">
  <ns0:message id="Message_SpaAccessGranted" name="Spa access granted" />
  <ns0:message id="Message_SpaSlotOffer" name="Spa slot offer" />
  <ns0:message id="Message_SpaAccessRequest" name="Spa access request" />
  <ns0:collaboration id="Collaboration_HotelNational_P46">
    <ns0:participant id="Participant_HotelNational" name="Hotel National Zermatt" processRef="Process_HotelNational_P46" />
    <ns0:participant id="Participant_Guest" name="Guest" processRef="Process_Guest_P46" />
    <ns0:messageFlow id="Msg_P46_AccessRequest" name="spa access request" sourceRef="Task_GU_SendAccessRequest" targetRef="Event_WD_StartAccessRequest" />
    <ns0:messageFlow id="Msg_P46_SlotOffer" name="alternative slot" sourceRef="Task_WD_OfferAlternativeSlot" targetRef="Event_GU_ReceiveSlotOffer" />
    <ns0:messageFlow id="Msg_P46_AccessGranted" name="access granted" sourceRef="Task_WD_SendAccessGranted" targetRef="Event_GU_ReceiveAccessGranted" />
  </ns0:collaboration>
  <ns0:process id="Process_HotelNational_P46" name="Hotel National Zermatt" isExecutable="false">
    <ns0:laneSet id="LaneSet_Process_HotelNational_P46">
      <ns0:lane id="Lane_WellnessDesk" name="Wellness Desk">
        <ns0:flowNodeRef>Task_WD_CheckPolicyWindow</ns0:flowNodeRef>
        <ns0:flowNodeRef>Event_WD_StartAccessRequest</ns0:flowNodeRef>
        <ns0:flowNodeRef>Gateway_WD_EligibleWindow</ns0:flowNodeRef>
        <ns0:flowNodeRef>Task_WD_OfferAlternativeSlot</ns0:flowNodeRef>
        <ns0:flowNodeRef>Task_WD_CheckCapacity</ns0:flowNodeRef>
        <ns0:flowNodeRef>Gateway_WD_CapacityAvailable</ns0:flowNodeRef>
        <ns0:flowNodeRef>Task_WD_SendAccessGranted</ns0:flowNodeRef>
        <ns0:flowNodeRef>Event_WD_EndGranted</ns0:flowNodeRef>
      </ns0:lane>
      <ns0:lane id="Lane_SpaAttendant" name="Spa Attendant">
        <ns0:flowNodeRef>Task_SA_PrepareAccess</ns0:flowNodeRef>
      </ns0:lane>
    </ns0:laneSet>
    <ns0:userTask id="Task_WD_CheckPolicyWindow" name="Check time window policy" />
    <ns0:sequenceFlow id="Flow_P46_Start_to_Policy" sourceRef="Event_WD_StartAccessRequest" targetRef="Task_WD_CheckPolicyWindow" />
    <ns0:sequenceFlow id="Flow_P46_Policy_to_EligibleGw" sourceRef="Task_WD_CheckPolicyWindow" targetRef="Gateway_WD_EligibleWindow" />
    <ns0:sequenceFlow id="Flow_P46_Eligible_Yes" name="yes" sourceRef="Gateway_WD_EligibleWindow" targetRef="Task_WD_CheckCapacity" />
    <ns0:sequenceFlow id="Flow_P46_Eligible_No" name="no" sourceRef="Gateway_WD_EligibleWindow" targetRef="Task_WD_OfferAlternativeSlot" />
    <ns0:sequenceFlow id="Flow_P46_Capacity_to_Gw" sourceRef="Task_WD_CheckCapacity" targetRef="Gateway_WD_CapacityAvailable" />
    <ns0:sequenceFlow id="Flow_P46_Capacity_No" name="no" sourceRef="Gateway_WD_CapacityAvailable" targetRef="Task_WD_OfferAlternativeSlot" />
    <ns0:sequenceFlow id="Flow_P46_Capacity_Yes" name="yes" sourceRef="Gateway_WD_CapacityAvailable" targetRef="Task_SA_PrepareAccess" />
    <ns0:sequenceFlow id="Flow_P46_Prepare_to_Granted" sourceRef="Task_SA_PrepareAccess" targetRef="Task_WD_SendAccessGranted" />
    <ns0:sequenceFlow id="Flow_P46_Granted_to_End" sourceRef="Task_WD_SendAccessGranted" targetRef="Event_WD_EndGranted" />
    <ns0:startEvent id="Event_WD_StartAccessRequest" name="Spa access request received">
      <ns0:messageEventDefinition messageRef="Message_SpaAccessRequest" />
    </ns0:startEvent>
    <ns0:exclusiveGateway id="Gateway_WD_EligibleWindow" name="Eligible for window?" />
    <ns0:sendTask id="Task_WD_OfferAlternativeSlot" name="Offer alternative slot" messageRef="Message_SpaSlotOffer" />
    <ns0:userTask id="Task_WD_CheckCapacity" name="Check live capacity and occupancy" />
    <ns0:exclusiveGateway id="Gateway_WD_CapacityAvailable" name="Capacity available?" />
    <ns0:userTask id="Task_SA_PrepareAccess" name="Prepare access and towel set" />
    <ns0:sendTask id="Task_WD_SendAccessGranted" name="Send access granted and rules" messageRef="Message_SpaAccessGranted" />
    <ns0:endEvent id="Event_WD_EndGranted" name="Access granted" />
  </ns0:process>
  <ns0:process id="Process_Guest_P46" name="Guest" isExecutable="false">
    <ns0:intermediateCatchEvent id="Event_GU_ReceiveSlotOffer" name="Receive slot offer">
      <ns0:messageEventDefinition messageRef="Message_SpaSlotOffer" />
    </ns0:intermediateCatchEvent>
    <ns0:sequenceFlow id="Flow_GU46_Start_to_Request" sourceRef="Event_GU_StartWantSpa" targetRef="Task_GU_SendAccessRequest" />
    <ns0:sequenceFlow id="Flow_GU46_Request_to_Offer" sourceRef="Task_GU_SendAccessRequest" targetRef="Event_GU_ReceiveSlotOffer" />
    <ns0:sequenceFlow id="Flow_GU46_Offer_to_Granted" sourceRef="Event_GU_ReceiveSlotOffer" targetRef="Event_GU_ReceiveAccessGranted" />
    <ns0:intermediateCatchEvent id="Event_GU_ReceiveAccessGranted" name="Receive access granted">
      <ns0:messageEventDefinition messageRef="Message_SpaAccessGranted" />
    </ns0:intermediateCatchEvent>
    <ns0:endEvent id="Event_GU_EndSpaAccess" name="Enter spa" />
    <ns0:sequenceFlow id="Flow_GU46_Granted_to_End" sourceRef="Event_GU_ReceiveAccessGranted" targetRef="Event_GU_EndSpaAccess" />
    <ns0:startEvent id="Event_GU_StartWantSpa" name="Request spa access" />
    <ns0:sendTask id="Task_GU_SendAccessRequest" name="Send spa access request" messageRef="Message_SpaAccessRequest" />
  </ns0:process>
  <ns1:BPMNDiagram id="BPMNDiagram_1">
    <ns1:BPMNPlane id="BPMNPlane_1" bpmnElement="Collaboration_HotelNational_P46">
      <ns1:BPMNShape id="Shape_Participant_HotelNational" bpmnElement="Participant_HotelNational" isHorizontal="true">
        <ns2:Bounds x="180" y="90" width="1380" height="420" />
      </ns1:BPMNShape>
      <ns1:BPMNShape id="Shape_Lane_SpaAttendant" bpmnElement="Lane_SpaAttendant" isHorizontal="true">
        <ns2:Bounds x="210" y="370" width="1350" height="140" />
      </ns1:BPMNShape>
      <ns1:BPMNShape id="Shape_Lane_WellnessDesk" bpmnElement="Lane_WellnessDesk" isHorizontal="true">
        <ns2:Bounds x="210" y="90" width="1350" height="280" />
      </ns1:BPMNShape>
      <ns1:BPMNShape id="Shape_Task_WD_CheckPolicyWindow" bpmnElement="Task_WD_CheckPolicyWindow">
        <ns2:Bounds x="500" y="140" width="100" height="80" />
      </ns1:BPMNShape>
      <ns1:BPMNShape id="Shape_Event_WD_StartAccessRequest" bpmnElement="Event_WD_StartAccessRequest">
        <ns2:Bounds x="372" y="162" width="36" height="36" />
        <ns1:BPMNLabel>
          <ns2:Bounds x="349" y="124.5" width="82" height="27" />
        </ns1:BPMNLabel>
      </ns1:BPMNShape>
      <ns1:BPMNShape id="Shape_Gateway_WD_EligibleWindow" bpmnElement="Gateway_WD_EligibleWindow" isMarkerVisible="true">
        <ns2:Bounds x="695" y="155" width="50" height="50" />
        <ns1:BPMNLabel>
          <ns2:Bounds x="694" y="117.5" width="52" height="27" />
        </ns1:BPMNLabel>
      </ns1:BPMNShape>
      <ns1:BPMNShape id="Shape_Task_WD_OfferAlternativeSlot" bpmnElement="Task_WD_OfferAlternativeSlot">
        <ns2:Bounds x="830" y="250" width="100" height="80" />
      </ns1:BPMNShape>
      <ns1:BPMNShape id="Shape_Task_WD_CheckCapacity" bpmnElement="Task_WD_CheckCapacity">
        <ns2:Bounds x="830" y="140" width="100" height="80" />
      </ns1:BPMNShape>
      <ns1:BPMNShape id="Shape_Gateway_WD_CapacityAvailable" bpmnElement="Gateway_WD_CapacityAvailable" isMarkerVisible="true">
        <ns2:Bounds x="1025" y="155" width="50" height="50" />
        <ns1:BPMNLabel>
          <ns2:Bounds x="1025" y="117.5" width="50" height="27" />
        </ns1:BPMNLabel>
      </ns1:BPMNShape>
      <ns1:BPMNShape id="Shape_Task_SA_PrepareAccess" bpmnElement="Task_SA_PrepareAccess">
        <ns2:Bounds x="1100" y="390" width="100" height="80" />
      </ns1:BPMNShape>
      <ns1:BPMNShape id="Shape_Task_WD_SendAccessGranted" bpmnElement="Task_WD_SendAccessGranted">
        <ns2:Bounds x="1260" y="140" width="100" height="80" />
      </ns1:BPMNShape>
      <ns1:BPMNShape id="Shape_Event_WD_EndGranted" bpmnElement="Event_WD_EndGranted">
        <ns2:Bounds x="1442" y="162" width="36" height="36" />
        <ns1:BPMNLabel>
          <ns2:Bounds x="1422" y="198" width="76" height="14" />
        </ns1:BPMNLabel>
      </ns1:BPMNShape>
      <ns1:BPMNEdge id="Edge_Flow_P46_Start_to_Policy" bpmnElement="Flow_P46_Start_to_Policy">
        <ns3:waypoint x="408" y="180" />
        <ns3:waypoint x="500" y="180" />
      </ns1:BPMNEdge>
      <ns1:BPMNEdge id="Edge_Flow_P46_Policy_to_EligibleGw" bpmnElement="Flow_P46_Policy_to_EligibleGw">
        <ns3:waypoint x="600" y="180" />
        <ns3:waypoint x="695" y="180" />
      </ns1:BPMNEdge>
      <ns1:BPMNEdge id="Edge_Flow_P46_Eligible_Yes" bpmnElement="Flow_P46_Eligible_Yes">
        <ns3:waypoint x="745" y="180" />
        <ns3:waypoint x="830" y="180" />
        <ns1:BPMNLabel>
          <ns2:Bounds x="745" y="180" width="18" height="14" />
        </ns1:BPMNLabel>
      </ns1:BPMNEdge>
      <ns1:BPMNEdge id="Edge_Flow_P46_Eligible_No" bpmnElement="Flow_P46_Eligible_No">
        <ns3:waypoint x="720" y="205" />
        <ns3:waypoint x="720" y="290" />
        <ns3:waypoint x="830" y="290" />
        <ns1:BPMNLabel>
          <ns2:Bounds x="729" y="238" width="13" height="14" />
        </ns1:BPMNLabel>
      </ns1:BPMNEdge>
      <ns1:BPMNEdge id="Edge_Flow_P46_Capacity_to_Gw" bpmnElement="Flow_P46_Capacity_to_Gw">
        <ns3:waypoint x="930" y="180" />
        <ns3:waypoint x="1025" y="180" />
      </ns1:BPMNEdge>
      <ns1:BPMNEdge id="Edge_Flow_P46_Capacity_No" bpmnElement="Flow_P46_Capacity_No">
        <ns3:waypoint x="1050" y="205" />
        <ns3:waypoint x="1050" y="300" />
        <ns3:waypoint x="930" y="300" />
        <ns1:BPMNLabel>
          <ns2:Bounds x="1059" y="242" width="13" height="14" />
        </ns1:BPMNLabel>
      </ns1:BPMNEdge>
      <ns1:BPMNEdge id="Edge_Flow_P46_Capacity_Yes" bpmnElement="Flow_P46_Capacity_Yes">
        <ns3:waypoint x="1075" y="180" />
        <ns3:waypoint x="1150" y="180" />
        <ns3:waypoint x="1150" y="390" />
        <ns1:BPMNLabel>
          <ns2:Bounds x="1156" y="275" width="18" height="14" />
        </ns1:BPMNLabel>
      </ns1:BPMNEdge>
      <ns1:BPMNEdge id="Edge_Flow_P46_Prepare_to_Granted" bpmnElement="Flow_P46_Prepare_to_Granted">
        <ns3:waypoint x="1200" y="430" />
        <ns3:waypoint x="1290" y="430" />
        <ns3:waypoint x="1290" y="220" />
      </ns1:BPMNEdge>
      <ns1:BPMNEdge id="Edge_Flow_P46_Granted_to_End" bpmnElement="Flow_P46_Granted_to_End">
        <ns3:waypoint x="1360" y="180" />
        <ns3:waypoint x="1442" y="180" />
      </ns1:BPMNEdge>
      <ns1:BPMNShape id="Shape_Participant_Guest" bpmnElement="Participant_Guest" isHorizontal="true">
        <ns2:Bounds x="180" y="575" width="1380" height="250" />
      </ns1:BPMNShape>
      <ns1:BPMNShape id="Shape_Event_GU_ReceiveSlotOffer" bpmnElement="Event_GU_ReceiveSlotOffer">
        <ns2:Bounds x="862" y="667" width="36" height="36" />
        <ns1:BPMNLabel>
          <ns2:Bounds x="837" y="703" width="86" height="14" />
        </ns1:BPMNLabel>
      </ns1:BPMNShape>
      <ns1:BPMNShape id="Shape_Event_GU_ReceiveAccessGranted" bpmnElement="Event_GU_ReceiveAccessGranted">
        <ns2:Bounds x="1312" y="667" width="36" height="36" />
        <ns1:BPMNLabel>
          <ns2:Bounds x="1291" y="703" width="78" height="27" />
        </ns1:BPMNLabel>
      </ns1:BPMNShape>
      <ns1:BPMNShape id="Shape_Event_GU_EndSpaAccess" bpmnElement="Event_GU_EndSpaAccess">
        <ns2:Bounds x="1432" y="667" width="36" height="36" />
        <ns1:BPMNLabel>
          <ns2:Bounds x="1426" y="703" width="48" height="14" />
        </ns1:BPMNLabel>
      </ns1:BPMNShape>
      <ns1:BPMNShape id="Shape_Event_GU_StartWantSpa" bpmnElement="Event_GU_StartWantSpa">
        <ns2:Bounds x="252" y="667" width="36" height="36" />
        <ns1:BPMNLabel>
          <ns2:Bounds x="239" y="703" width="63" height="27" />
        </ns1:BPMNLabel>
      </ns1:BPMNShape>
      <ns1:BPMNShape id="Shape_Task_GU_SendAccessRequest" bpmnElement="Task_GU_SendAccessRequest">
        <ns2:Bounds x="340" y="645" width="100" height="80" />
      </ns1:BPMNShape>
      <ns1:BPMNEdge id="Edge_Flow_GU46_Start_to_Request" bpmnElement="Flow_GU46_Start_to_Request">
        <ns3:waypoint x="288" y="685" />
        <ns3:waypoint x="340" y="685" />
      </ns1:BPMNEdge>
      <ns1:BPMNEdge id="Edge_Flow_GU46_Request_to_Offer" bpmnElement="Flow_GU46_Request_to_Offer">
        <ns3:waypoint x="440" y="685" />
        <ns3:waypoint x="862" y="685" />
      </ns1:BPMNEdge>
      <ns1:BPMNEdge id="Edge_Flow_GU46_Offer_to_Granted" bpmnElement="Flow_GU46_Offer_to_Granted">
        <ns3:waypoint x="898" y="685" />
        <ns3:waypoint x="1312" y="685" />
      </ns1:BPMNEdge>
      <ns1:BPMNEdge id="Edge_Flow_GU46_Granted_to_End" bpmnElement="Flow_GU46_Granted_to_End">
        <ns3:waypoint x="1348" y="685" />
        <ns3:waypoint x="1432" y="685" />
      </ns1:BPMNEdge>
      <ns1:BPMNEdge id="Edge_Msg_P46_AccessRequest" bpmnElement="Msg_P46_AccessRequest">
        <ns3:waypoint x="390" y="645" />
        <ns3:waypoint x="390" y="198" />
        <ns1:BPMNLabel>
          <ns2:Bounds x="402" y="387" width="56" height="27" />
        </ns1:BPMNLabel>
      </ns1:BPMNEdge>
      <ns1:BPMNEdge id="Edge_Msg_P46_SlotOffer" bpmnElement="Msg_P46_SlotOffer">
        <ns3:waypoint x="880" y="330" />
        <ns3:waypoint x="880" y="667" />
        <ns1:BPMNLabel>
          <ns2:Bounds x="774" y="443" width="72" height="14" />
        </ns1:BPMNLabel>
      </ns1:BPMNEdge>
      <ns1:BPMNEdge id="Edge_Msg_P46_AccessGranted" bpmnElement="Msg_P46_AccessGranted">
        <ns3:waypoint x="1330" y="220" />
        <ns3:waypoint x="1330" y="667" />
        <ns1:BPMNLabel>
          <ns2:Bounds x="1352" y="442" width="75" height="14" />
        </ns1:BPMNLabel>
      </ns1:BPMNEdge>
    </ns1:BPMNPlane>
  </ns1:BPMNDiagram>
</ns0:definitions>
