-- automatically generated by Verbus-J 0.1a3
--

-- modules for enttypes
--
-- enttype BPEL_lc_basic
MODULE _et_BPEL_lc_basic
VAR
    state : {_not_started, _running, _completed, _cancelled};

-- enttype BPEL_lc
MODULE _et_BPEL_lc
VAR
    state : {_not_started, _running, _completed, _compensating, _compensated, _faulted, _fault_cancelling, _cancelling, _terminating, _cancelled};
    fault_handler : {_none, _unnamed_act_1};

-- enttype BPEL_lnk
MODULE _et_BPEL_lnk
VAR
    fired : boolean;

-- enttype OliveOilRequest
-- message {http://www.it.uc3m.es/jaf/ns/OliveOilService}OliveOilRequest
MODULE _et_OliveOilRequest
VAR
    request__quantity : 0..7;
    request__maxPrice : 0..7;
    request__deadline : 0..7;
    request__customerId : _replaced0_request__customerId;

-- enttype OliveOilResponse
-- message {http://www.it.uc3m.es/jaf/ns/OliveOilService}OliveOilResponse
MODULE _et_OliveOilResponse
VAR
    totalPrice : 0..7;
    ordered : boolean;
    waitingDays : 0..7;
    price : 0..7;
    request__quantity : 0..7;
    request__maxPrice : 0..7;
    request__deadline : 0..7;
    request__customerId : _replaced0_request__customerId;

-- enttype OilPriceResponse
-- message {http://www.it.uc3m.es/jaf/ns/OliveOilService}OilPriceResponse
MODULE _et_OilPriceResponse
VAR
    price : 0..7;

-- enttype OilOrder
-- message {http://www.it.uc3m.es/jaf/ns/OliveOilService}OilOrder
MODULE _et_OilOrder
VAR
    oilType : {_olive, _soja, _sunflower};
    quantity : 0..7;
    customerId : _replaced0_request__customerId;

-- enttype OilConfirmation
-- message {http://www.it.uc3m.es/jaf/ns/OliveOilService}OilConfirmation
MODULE _et_OilConfirmation
VAR
    accepted : boolean;

-- replaced enttype
MODULE _replaced0_request__customerId
VAR
    data : {__abstract__none, _c102000};


-- main module: variables and transitions
MODULE main
VAR
    request : _et_OliveOilRequest;
    response : _et_OliveOilResponse;
    oPrice : _et_OilPriceResponse;
    oOrder : _et_OilOrder;
    oOrderConfirm : _et_OilConfirmation;
    process_oliveProcess_lc__ : _et_BPEL_lc;
    unnamed_act_1_lc__ : _et_BPEL_lc_basic;
    prepare_neg_response_act_2_lc__ : _et_BPEL_lc_basic;
    response_neg_act_3_lc__ : _et_BPEL_lc_basic;
    main_act_4_lc__ : _et_BPEL_lc_basic;
    unnamed_act_5_lc__ : _et_BPEL_lc_basic;
    initializations_act_6_lc__ : _et_BPEL_lc_basic;
    askPrice1_act_7_lc__ : _et_BPEL_lc;
    wait_act_8_lc__ : _et_BPEL_lc_basic;
    loop_act_9_lc__ : _et_BPEL_lc_basic;
    white_a_day_act_10_lc__ : _et_BPEL_lc_basic;
    incdays_act_11_lc__ : _et_BPEL_lc_basic;
    askPrice2_act_12_lc__ : _et_BPEL_lc;
    unnamed_act_13_lc__ : _et_BPEL_lc;
    prepare_response_act_14_lc__ : _et_BPEL_lc_basic;
    response_act_15_lc__ : _et_BPEL_lc_basic;

-- variable initializations (set of initial states)
INIT
    request.request__quantity=0 & request.request__maxPrice=0 & request.request__deadline=0 & request.request__customerId.data=__abstract__none
    & response.totalPrice=0 & response.ordered=0 & response.waitingDays=0 & response.price=0 & response.request__quantity=0 & response.request__maxPrice=0 & response.request__deadline=0 & response.request__customerId.data=__abstract__none
    & oPrice.price=0
    & oOrder.oilType=_olive & oOrder.quantity=0 & oOrder.customerId.data=__abstract__none
    & oOrderConfirm.accepted=0
    & process_oliveProcess_lc__.state=_not_started & process_oliveProcess_lc__.fault_handler=_none
    & unnamed_act_1_lc__.state=_not_started
    & prepare_neg_response_act_2_lc__.state=_not_started
    & response_neg_act_3_lc__.state=_not_started
    & main_act_4_lc__.state=_not_started
    & unnamed_act_5_lc__.state=_not_started
    & initializations_act_6_lc__.state=_not_started
    & askPrice1_act_7_lc__.state=_not_started & askPrice1_act_7_lc__.fault_handler=_none
    & wait_act_8_lc__.state=_not_started
    & loop_act_9_lc__.state=_not_started
    & white_a_day_act_10_lc__.state=_not_started
    & incdays_act_11_lc__.state=_not_started
    & askPrice2_act_12_lc__.state=_not_started & askPrice2_act_12_lc__.fault_handler=_none
    & unnamed_act_13_lc__.state=_not_started & unnamed_act_13_lc__.fault_handler=_none
    & prepare_response_act_14_lc__.state=_not_started
    & response_act_15_lc__.state=_not_started

-- transitions of the process
TRANS

    -- activity process_oliveProcess_act__
    --
    -- transition catchCompletion
        ( ((process_oliveProcess_lc__.state=_faulted) & ((unnamed_act_1_lc__.state=_completed))) &
        (next(process_oliveProcess_lc__.state)=_cancelled)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition fault_cancel_begin
        ( ((process_oliveProcess_lc__.fault_handler!=_none) & (process_oliveProcess_lc__.state=_running)) &
        (next(process_oliveProcess_lc__.state)=_fault_cancelling)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition fault_cancel_end
        ( ((process_oliveProcess_lc__.state=_fault_cancelling) & ((unnamed_act_5_lc__.state=_completed) | (unnamed_act_5_lc__.state=_not_started) | (unnamed_act_5_lc__.state=_cancelled)) & ((initializations_act_6_lc__.state=_completed) | (initializations_act_6_lc__.state=_not_started)) & ((askPrice1_act_7_lc__.state=_completed) | (askPrice1_act_7_lc__.state=_not_started) | (askPrice1_act_7_lc__.state=_cancelled)) & ((white_a_day_act_10_lc__.state=_completed) | (white_a_day_act_10_lc__.state=_not_started) | (white_a_day_act_10_lc__.state=_cancelled)) & ((incdays_act_11_lc__.state=_completed) | (incdays_act_11_lc__.state=_not_started)) & ((askPrice2_act_12_lc__.state=_completed) | (askPrice2_act_12_lc__.state=_not_started) | (askPrice2_act_12_lc__.state=_cancelled)) & ((loop_act_9_lc__.state=_completed) | (loop_act_9_lc__.state=_not_started) | (loop_act_9_lc__.state=_cancelled)) & ((wait_act_8_lc__.state=_completed) | (wait_act_8_lc__.state=_not_started) | (wait_act_8_lc__.state=_cancelled)) & ((unnamed_act_13_lc__.state=_completed) | (unnamed_act_13_lc__.state=_not_started) | (unnamed_act_13_lc__.state=_cancelled)) & ((prepare_response_act_14_lc__.state=_completed) | (prepare_response_act_14_lc__.state=_not_started)) & ((response_act_15_lc__.state=_completed) | (response_act_15_lc__.state=_not_started) | (response_act_15_lc__.state=_cancelled)) & ((main_act_4_lc__.state=_completed) | (main_act_4_lc__.state=_not_started) | (main_act_4_lc__.state=_cancelled))) &
        (next(process_oliveProcess_lc__.state)=_faulted)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition terminate_end
        ( ((process_oliveProcess_lc__.state=_terminating) & ((unnamed_act_5_lc__.state=_completed) | (unnamed_act_5_lc__.state=_not_started) | (unnamed_act_5_lc__.state=_cancelled)) & ((initializations_act_6_lc__.state=_completed) | (initializations_act_6_lc__.state=_not_started)) & ((askPrice1_act_7_lc__.state=_completed) | (askPrice1_act_7_lc__.state=_not_started) | (askPrice1_act_7_lc__.state=_cancelled)) & ((white_a_day_act_10_lc__.state=_completed) | (white_a_day_act_10_lc__.state=_not_started) | (white_a_day_act_10_lc__.state=_cancelled)) & ((incdays_act_11_lc__.state=_completed) | (incdays_act_11_lc__.state=_not_started)) & ((askPrice2_act_12_lc__.state=_completed) | (askPrice2_act_12_lc__.state=_not_started) | (askPrice2_act_12_lc__.state=_cancelled)) & ((loop_act_9_lc__.state=_completed) | (loop_act_9_lc__.state=_not_started) | (loop_act_9_lc__.state=_cancelled)) & ((wait_act_8_lc__.state=_completed) | (wait_act_8_lc__.state=_not_started) | (wait_act_8_lc__.state=_cancelled)) & ((unnamed_act_13_lc__.state=_completed) | (unnamed_act_13_lc__.state=_not_started) | (unnamed_act_13_lc__.state=_cancelled)) & ((prepare_response_act_14_lc__.state=_completed) | (prepare_response_act_14_lc__.state=_not_started)) & ((response_act_15_lc__.state=_completed) | (response_act_15_lc__.state=_not_started) | (response_act_15_lc__.state=_cancelled)) & ((main_act_4_lc__.state=_completed) | (main_act_4_lc__.state=_not_started) | (main_act_4_lc__.state=_cancelled))) &
        (next(process_oliveProcess_lc__.state)=_cancelled)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition complete
        ( ((main_act_4_lc__.state=_completed) & (process_oliveProcess_lc__.state=_running)) &
        (next(process_oliveProcess_lc__.state)=_completed)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |

    -- activity unnamed_act_1
    -- catch all activity oliveProcess
    --
    -- transition begin
        ( ((process_oliveProcess_lc__.state=_faulted) & (unnamed_act_1_lc__.state=_not_started) & (process_oliveProcess_lc__.fault_handler=_unnamed_act_1)) &
        (next(unnamed_act_1_lc__.state)=_running)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition complete
        ( ((unnamed_act_1_lc__.state=_running) & (response_neg_act_3_lc__.state=_completed)) &
        (next(unnamed_act_1_lc__.state)=_completed)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |

    -- activity prepare_neg_response_act_2
    --
    -- transition assign
        ( ((unnamed_act_1_lc__.state=_running) & (prepare_neg_response_act_2_lc__.state=_not_started)) &
        (next(prepare_neg_response_act_2_lc__.state)=_completed) & ((next(response.request__quantity)=request.request__quantity) & (next(response.request__maxPrice)=request.request__maxPrice) & (next(response.request__deadline)=request.request__deadline) & (next(response.request__customerId.data)=request.request__customerId.data)) & ((next(response.ordered)=0))
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |

    -- activity response_neg_act_3
    --
    -- transition reply
        ( ((prepare_neg_response_act_2_lc__.state=_completed) & (response_neg_act_3_lc__.state=_not_started)) &
        (next(response_neg_act_3_lc__.state)=_completed)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |

    -- activity main_act_4
    --
    -- transition begin
        ( ((main_act_4_lc__.state=_not_started)) &
        (next(main_act_4_lc__.state)=_running)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition complete
        ( ((main_act_4_lc__.state=_running) & (response_act_15_lc__.state=_completed)) &
        (next(main_act_4_lc__.state)=_completed)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition cancel
        ( ((main_act_4_lc__.state=_running) & ((process_oliveProcess_lc__.state=_fault_cancelling) | (process_oliveProcess_lc__.state=_cancelling) | (process_oliveProcess_lc__.state=_terminating))) &
        (next(main_act_4_lc__.state)=_cancelled)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |

    -- activity unnamed_act_5
    --
    -- transition begin_0
        ( ((main_act_4_lc__.state=_running) & (unnamed_act_5_lc__.state=_not_started)) &
        (next(unnamed_act_5_lc__.state)=_running) & ((next(request.request__customerId.data)=_c102000) & (next(request.request__maxPrice)=3) & (next(request.request__deadline)=5) & (next(request.request__quantity)=1))
         & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition complete
        ( ((unnamed_act_5_lc__.state=_running)) &
        (next(unnamed_act_5_lc__.state)=_completed) & (next(process_oliveProcess_lc__.state)=_running)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition cancel
        ( ((unnamed_act_5_lc__.state=_running) & ((process_oliveProcess_lc__.state=_fault_cancelling) | (process_oliveProcess_lc__.state=_cancelling) | (process_oliveProcess_lc__.state=_terminating))) &
        (next(unnamed_act_5_lc__.state)=_cancelled)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |

    -- activity initializations_act_6
    --
    -- transition assign
        ( ((unnamed_act_5_lc__.state=_completed) & (process_oliveProcess_lc__.state=_running) & (initializations_act_6_lc__.state=_not_started)) &
        (next(initializations_act_6_lc__.state)=_completed) & ((next(response.waitingDays)=0)) & ((next(oOrder.quantity)=request.request__quantity)) & ((next(oOrder.customerId.data)=request.request__customerId.data)) & ((next(oOrder.oilType)=_olive))
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |

    -- activity askPrice1_act_7
    --
    -- transition throw1
        ( ((askPrice1_act_7_lc__.state=_running)) &
        (next(askPrice1_act_7_lc__.state)=_completed) & ((next(process_oliveProcess_lc__.fault_handler)=_unnamed_act_1))
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition begin
        ( ((initializations_act_6_lc__.state=_completed) & (process_oliveProcess_lc__.state=_running) & (askPrice1_act_7_lc__.state=_not_started)) &
        (next(askPrice1_act_7_lc__.state)=_running)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition complete_0
        ( ((askPrice1_act_7_lc__.state=_running)) &
        (next(askPrice1_act_7_lc__.state)=_completed) & ((next(oPrice.price)=1))
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition complete_1
        ( ((askPrice1_act_7_lc__.state=_running)) &
        (next(askPrice1_act_7_lc__.state)=_completed) & ((next(oPrice.price)=2))
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition complete_2
        ( ((askPrice1_act_7_lc__.state=_running)) &
        (next(askPrice1_act_7_lc__.state)=_completed) & ((next(oPrice.price)=4))
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition complete_3
        ( ((askPrice1_act_7_lc__.state=_running)) &
        (next(askPrice1_act_7_lc__.state)=_completed) & ((next(oPrice.price)=5))
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition complete_4
        ( ((askPrice1_act_7_lc__.state=_running)) &
        (next(askPrice1_act_7_lc__.state)=_completed) & ((next(oPrice.price)=6))
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition cancel
        ( ((askPrice1_act_7_lc__.state=_running) & ((process_oliveProcess_lc__.state=_fault_cancelling) | (process_oliveProcess_lc__.state=_cancelling) | (process_oliveProcess_lc__.state=_terminating))) &
        (next(askPrice1_act_7_lc__.state)=_cancelled)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |

    -- activity wait_act_8
    --
    -- transition begin
        ( ((askPrice1_act_7_lc__.state=_completed) & (process_oliveProcess_lc__.state=_running) & (wait_act_8_lc__.state=_not_started)) &
        (next(wait_act_8_lc__.state)=_running) & (next(white_a_day_act_10_lc__.state)=_not_started) & (next(incdays_act_11_lc__.state)=_not_started) & (next(askPrice2_act_12_lc__.state)=_not_started) & (next(loop_act_9_lc__.state)=_not_started)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition continue
        ( ((((response.waitingDays < request.request__deadline)) & ((oPrice.price > request.request__maxPrice))) & (wait_act_8_lc__.state=_running) & (loop_act_9_lc__.state=_completed)) &
        (next(white_a_day_act_10_lc__.state)=_not_started) & (next(incdays_act_11_lc__.state)=_not_started) & (next(askPrice2_act_12_lc__.state)=_not_started) & (next(loop_act_9_lc__.state)=_not_started)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition complete
        ( ((loop_act_9_lc__.state=_completed) & (!(((response.waitingDays < request.request__deadline)) & ((oPrice.price > request.request__maxPrice)))) & (wait_act_8_lc__.state=_running)) &
        (next(wait_act_8_lc__.state)=_completed)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition cancel
        ( ((wait_act_8_lc__.state=_running) & ((process_oliveProcess_lc__.state=_fault_cancelling) | (process_oliveProcess_lc__.state=_cancelling) | (process_oliveProcess_lc__.state=_terminating))) &
        (next(wait_act_8_lc__.state)=_cancelled)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |

    -- activity loop_act_9
    --
    -- transition begin
        ( ((wait_act_8_lc__.state=_running) & (process_oliveProcess_lc__.state=_running) & (loop_act_9_lc__.state=_not_started)) &
        (next(loop_act_9_lc__.state)=_running)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition complete
        ( ((loop_act_9_lc__.state=_running) & (askPrice2_act_12_lc__.state=_completed)) &
        (next(loop_act_9_lc__.state)=_completed)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition cancel
        ( ((loop_act_9_lc__.state=_running) & ((process_oliveProcess_lc__.state=_fault_cancelling) | (process_oliveProcess_lc__.state=_cancelling) | (process_oliveProcess_lc__.state=_terminating))) &
        (next(loop_act_9_lc__.state)=_cancelled)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |

    -- activity white_a_day_act_10
    --
    -- transition begin
        ( ((loop_act_9_lc__.state=_running) & (process_oliveProcess_lc__.state=_running) & (white_a_day_act_10_lc__.state=_not_started)) &
        (next(white_a_day_act_10_lc__.state)=_running)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition complete
        ( ((white_a_day_act_10_lc__.state=_running)) &
        (next(white_a_day_act_10_lc__.state)=_completed)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition cancel
        ( ((white_a_day_act_10_lc__.state=_running) & ((process_oliveProcess_lc__.state=_fault_cancelling) | (process_oliveProcess_lc__.state=_cancelling) | (process_oliveProcess_lc__.state=_terminating))) &
        (next(white_a_day_act_10_lc__.state)=_cancelled)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |

    -- activity incdays_act_11
    --
    -- transition assign
        ( ((white_a_day_act_10_lc__.state=_completed) & (process_oliveProcess_lc__.state=_running) & (incdays_act_11_lc__.state=_not_started)) &
        (next(incdays_act_11_lc__.state)=_completed) & ((next(response.waitingDays)=(response.waitingDays+1)))
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |

    -- activity askPrice2_act_12
    --
    -- transition throw1
        ( ((askPrice2_act_12_lc__.state=_running)) &
        (next(askPrice2_act_12_lc__.state)=_completed) & ((next(process_oliveProcess_lc__.fault_handler)=_unnamed_act_1))
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition begin
        ( ((incdays_act_11_lc__.state=_completed) & (process_oliveProcess_lc__.state=_running) & (askPrice2_act_12_lc__.state=_not_started)) &
        (next(askPrice2_act_12_lc__.state)=_running)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition complete_0
        ( ((askPrice2_act_12_lc__.state=_running)) &
        (next(askPrice2_act_12_lc__.state)=_completed) & ((next(oPrice.price)=1))
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition complete_1
        ( ((askPrice2_act_12_lc__.state=_running)) &
        (next(askPrice2_act_12_lc__.state)=_completed) & ((next(oPrice.price)=2))
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition complete_2
        ( ((askPrice2_act_12_lc__.state=_running)) &
        (next(askPrice2_act_12_lc__.state)=_completed) & ((next(oPrice.price)=4))
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition complete_3
        ( ((askPrice2_act_12_lc__.state=_running)) &
        (next(askPrice2_act_12_lc__.state)=_completed) & ((next(oPrice.price)=5))
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition complete_4
        ( ((askPrice2_act_12_lc__.state=_running)) &
        (next(askPrice2_act_12_lc__.state)=_completed) & ((next(oPrice.price)=6))
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition cancel
        ( ((askPrice2_act_12_lc__.state=_running) & ((process_oliveProcess_lc__.state=_fault_cancelling) | (process_oliveProcess_lc__.state=_cancelling) | (process_oliveProcess_lc__.state=_terminating))) &
        (next(askPrice2_act_12_lc__.state)=_cancelled)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |

    -- activity unnamed_act_13
    --
    -- transition throw1
        ( ((unnamed_act_13_lc__.state=_running)) &
        (next(unnamed_act_13_lc__.state)=_completed) & ((next(process_oliveProcess_lc__.fault_handler)=_unnamed_act_1))
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition begin
        ( ((wait_act_8_lc__.state=_completed) & (process_oliveProcess_lc__.state=_running) & (unnamed_act_13_lc__.state=_not_started)) &
        (next(unnamed_act_13_lc__.state)=_running)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition complete_0
        ( ((unnamed_act_13_lc__.state=_running)) &
        (next(unnamed_act_13_lc__.state)=_completed) & ((oOrderConfirm.accepted=1))
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition complete_1
        ( ((unnamed_act_13_lc__.state=_running)) &
        (next(unnamed_act_13_lc__.state)=_completed) & ((next(oOrderConfirm.accepted)=0))
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |
    -- transition cancel
        ( ((unnamed_act_13_lc__.state=_running) & ((process_oliveProcess_lc__.state=_fault_cancelling) | (process_oliveProcess_lc__.state=_cancelling) | (process_oliveProcess_lc__.state=_terminating))) &
        (next(unnamed_act_13_lc__.state)=_cancelled)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |

    -- activity prepare_response_act_14
    --
    -- transition assign
        ( ((unnamed_act_13_lc__.state=_completed) & (process_oliveProcess_lc__.state=_running) & (prepare_response_act_14_lc__.state=_not_started)) &
        (next(prepare_response_act_14_lc__.state)=_completed) & ((next(response.request__quantity)=request.request__quantity) & (next(response.request__maxPrice)=request.request__maxPrice) & (next(response.request__deadline)=request.request__deadline) & (next(response.request__customerId.data)=request.request__customerId.data)) & ((next(response.ordered)=oOrderConfirm.accepted)) & ((next(response.price)=oPrice.price)) & ((next(response.totalPrice)=(request.request__quantity*oPrice.price)))
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.waitingDays)=response.waitingDays & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(response_act_15_lc__.state)=response_act_15_lc__.state )
    |

    -- activity response_act_15
    --
    -- transition reply
        ( ((prepare_response_act_14_lc__.state=_completed) & (process_oliveProcess_lc__.state=_running) & (response_act_15_lc__.state=_not_started)) &
        (next(response_act_15_lc__.state)=_completed)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state )
    |
    -- transition cancel
        ( ((response_act_15_lc__.state=_running) & ((process_oliveProcess_lc__.state=_fault_cancelling) | (process_oliveProcess_lc__.state=_cancelling) | (process_oliveProcess_lc__.state=_terminating))) &
        (next(response_act_15_lc__.state)=_cancelled)
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state )
    |
    -- final expression
        ( ((process_oliveProcess_lc__.state=_completed) | (process_oliveProcess_lc__.state=_cancelled) | (process_oliveProcess_lc__.state=_compensated))
         & next(request.request__quantity)=request.request__quantity & next(request.request__maxPrice)=request.request__maxPrice & next(request.request__deadline)=request.request__deadline & next(request.request__customerId.data)=request.request__customerId.data & next(response.totalPrice)=response.totalPrice & next(response.ordered)=response.ordered & next(response.waitingDays)=response.waitingDays & next(response.price)=response.price & next(response.request__quantity)=response.request__quantity & next(response.request__maxPrice)=response.request__maxPrice & next(response.request__deadline)=response.request__deadline & next(response.request__customerId.data)=response.request__customerId.data & next(oPrice.price)=oPrice.price & next(oOrder.oilType)=oOrder.oilType & next(oOrder.quantity)=oOrder.quantity & next(oOrder.customerId.data)=oOrder.customerId.data & next(oOrderConfirm.accepted)=oOrderConfirm.accepted & next(process_oliveProcess_lc__.state)=process_oliveProcess_lc__.state & next(process_oliveProcess_lc__.fault_handler)=process_oliveProcess_lc__.fault_handler & next(unnamed_act_1_lc__.state)=unnamed_act_1_lc__.state & next(prepare_neg_response_act_2_lc__.state)=prepare_neg_response_act_2_lc__.state & next(response_neg_act_3_lc__.state)=response_neg_act_3_lc__.state & next(main_act_4_lc__.state)=main_act_4_lc__.state & next(unnamed_act_5_lc__.state)=unnamed_act_5_lc__.state & next(initializations_act_6_lc__.state)=initializations_act_6_lc__.state & next(askPrice1_act_7_lc__.state)=askPrice1_act_7_lc__.state & next(askPrice1_act_7_lc__.fault_handler)=askPrice1_act_7_lc__.fault_handler & next(wait_act_8_lc__.state)=wait_act_8_lc__.state & next(loop_act_9_lc__.state)=loop_act_9_lc__.state & next(white_a_day_act_10_lc__.state)=white_a_day_act_10_lc__.state & next(incdays_act_11_lc__.state)=incdays_act_11_lc__.state & next(askPrice2_act_12_lc__.state)=askPrice2_act_12_lc__.state & next(askPrice2_act_12_lc__.fault_handler)=askPrice2_act_12_lc__.fault_handler & next(unnamed_act_13_lc__.state)=unnamed_act_13_lc__.state & next(unnamed_act_13_lc__.fault_handler)=unnamed_act_13_lc__.fault_handler & next(prepare_response_act_14_lc__.state)=prepare_response_act_14_lc__.state & next(response_act_15_lc__.state)=response_act_15_lc__.state)

FAIRNESS
    running

-- invariant invariant_0
SPEC
    AG((!(process_oliveProcess_lc__.state=_running)) | ((response.waitingDays <= request.request__deadline)))

-- invariant invariant_2
SPEC
    AG((!(process_oliveProcess_lc__.state=_running)) | (((response.price <= request.request__maxPrice)) | (response.waitingDays=request.request__deadline)))

-- goal goal_1
SPEC
    AF(AG((response_act_15_lc__.state=_completed) | (response_neg_act_3_lc__.state=_completed)))

-- goal noneRunning
SPEC
    AF(AG((!(process_oliveProcess_lc__.state=_running)) & (!(unnamed_act_1_lc__.state=_running)) & (!(prepare_neg_response_act_2_lc__.state=_running)) & (!(response_neg_act_3_lc__.state=_running)) & (!(main_act_4_lc__.state=_running)) & (!(unnamed_act_5_lc__.state=_running)) & (!(initializations_act_6_lc__.state=_running)) & (!(askPrice1_act_7_lc__.state=_running)) & (!(wait_act_8_lc__.state=_running)) & (!(loop_act_9_lc__.state=_running)) & (!(white_a_day_act_10_lc__.state=_running)) & (!(incdays_act_11_lc__.state=_running)) & (!(askPrice2_act_12_lc__.state=_running)) & (!(unnamed_act_13_lc__.state=_running)) & (!(prepare_response_act_14_lc__.state=_running)) & (!(response_act_15_lc__.state=_running))))