-- automatically generated by Verbus-J 0.1a4
--

-- 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 : {_none, _urn_echo_echoService_orderCancelled};
    fault_handler : {_none, _wait_catch_act_1};

-- enttype BPEL_lnk
MODULE _et_BPEL_lnk
VAR
    fired : boolean;

-- enttype OrderMessage
-- message {urn:echo:echoService}OrderMessage
MODULE _et_OrderMessage
VAR
    urgent : boolean;
    order__productId : {__abstract__none};
    order__color : {_white, _red, _blue, _black};

-- enttype InvoiceMessage
-- message {urn:echo:echoService}InvoiceMessage
MODULE _et_InvoiceMessage
VAR
    price : {__abstract__none};
    urgent : boolean;
    order__productId : {__abstract__none};
    order__color : {_white, _red, _blue, _black};

-- enttype switch_act_4_switch_sel__
MODULE _et_switch_act_4_switch_sel__
VAR
    selected : {_none, _case_0, _otherwise};

-- enttype unnamed_act_8_pick_sel__
MODULE _et_unnamed_act_8_pick_sel__
VAR
    activated : {_none, _receive_not_0, _onAlarm_0};


-- main module: variables and transitions
MODULE main
VAR
    order : _et_OrderMessage;
    invoice : _et_InvoiceMessage;
    process_ordersProcess_lc__ : _et_BPEL_lc;
    wait_catch_act_1_lc__ : _et_BPEL_lc_basic;
    main_act_2_lc__ : _et_BPEL_lc_basic;
    init_act_3_lc__ : _et_BPEL_lc_basic;
    switch_act_4_lc__ : _et_BPEL_lc_basic;
    switch_act_4_switch_sel__ : _et_switch_act_4_switch_sel__;
    urgent_req_act_5_lc__ : _et_BPEL_lc;
    unnamed_act_6_lc__ : _et_BPEL_lc_basic;
    schedule_act_7_lc__ : _et_BPEL_lc;
    unnamed_act_8_lc__ : _et_BPEL_lc_basic;
    unnamed_act_8_pick_sel__ : _et_unnamed_act_8_pick_sel__;
    unnamed_act_9_lc__ : _et_BPEL_lc_basic;
    urgent_req2_act_10_lc__ : _et_BPEL_lc;
    end_act_11_lc__ : _et_BPEL_lc;
    unnamed_act_12_lc__ : _et_BPEL_lc_basic;

-- variable initializations (set of initial states)
INIT
    order.urgent=0 & order.order__productId=__abstract__none & order.order__color=_white
    & invoice.price=__abstract__none & invoice.urgent=0 & invoice.order__productId=__abstract__none & invoice.order__color=_white
    & process_ordersProcess_lc__.state=_not_started & process_ordersProcess_lc__.fault=_none & process_ordersProcess_lc__.fault_handler=_none
    & wait_catch_act_1_lc__.state=_not_started
    & main_act_2_lc__.state=_not_started
    & init_act_3_lc__.state=_not_started
    & switch_act_4_lc__.state=_not_started
    & switch_act_4_switch_sel__.selected=_none
    & urgent_req_act_5_lc__.state=_not_started & urgent_req_act_5_lc__.fault=_none & urgent_req_act_5_lc__.fault_handler=_none
    & unnamed_act_6_lc__.state=_not_started
    & schedule_act_7_lc__.state=_not_started & schedule_act_7_lc__.fault=_none & schedule_act_7_lc__.fault_handler=_none
    & unnamed_act_8_lc__.state=_not_started
    & unnamed_act_8_pick_sel__.activated=_none
    & unnamed_act_9_lc__.state=_not_started
    & urgent_req2_act_10_lc__.state=_not_started & urgent_req2_act_10_lc__.fault=_none & urgent_req2_act_10_lc__.fault_handler=_none
    & end_act_11_lc__.state=_not_started & end_act_11_lc__.fault=_none & end_act_11_lc__.fault_handler=_none
    & unnamed_act_12_lc__.state=_not_started

-- transitions of the process
TRANS

    -- activity process_ordersProcess_act__
    --
    -- transition catchCompletion
        ( ((process_ordersProcess_lc__.state=_faulted) & ((wait_catch_act_1_lc__.state=_completed))) &
        (next(process_ordersProcess_lc__.state)=_cancelled)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition fault_cancel_begin
        ( ((process_ordersProcess_lc__.fault_handler!=_none) & (process_ordersProcess_lc__.state=_running)) &
        (next(process_ordersProcess_lc__.state)=_fault_cancelling)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition fault_cancel_end
        ( ((process_ordersProcess_lc__.state=_fault_cancelling) & ((init_act_3_lc__.state=_completed) | (init_act_3_lc__.state=_not_started) | (init_act_3_lc__.state=_cancelled)) & ((urgent_req_act_5_lc__.state=_completed) | (urgent_req_act_5_lc__.state=_not_started) | (urgent_req_act_5_lc__.state=_cancelled)) & ((schedule_act_7_lc__.state=_completed) | (schedule_act_7_lc__.state=_not_started) | (schedule_act_7_lc__.state=_cancelled)) & ((unnamed_act_9_lc__.state=_completed) | (unnamed_act_9_lc__.state=_not_started)) & ((urgent_req2_act_10_lc__.state=_completed) | (urgent_req2_act_10_lc__.state=_not_started) | (urgent_req2_act_10_lc__.state=_cancelled)) & ((unnamed_act_8_lc__.state=_completed) | (unnamed_act_8_lc__.state=_not_started) | (unnamed_act_8_lc__.state=_cancelled)) & ((unnamed_act_6_lc__.state=_completed) | (unnamed_act_6_lc__.state=_not_started) | (unnamed_act_6_lc__.state=_cancelled)) & ((switch_act_4_lc__.state=_completed) | (switch_act_4_lc__.state=_not_started) | (switch_act_4_lc__.state=_cancelled)) & ((end_act_11_lc__.state=_completed) | (end_act_11_lc__.state=_not_started) | (end_act_11_lc__.state=_cancelled)) & ((main_act_2_lc__.state=_completed) | (main_act_2_lc__.state=_not_started) | (main_act_2_lc__.state=_cancelled))) &
        (next(process_ordersProcess_lc__.state)=_faulted)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition terminate_end
        ( ((process_ordersProcess_lc__.state=_terminating) & ((init_act_3_lc__.state=_completed) | (init_act_3_lc__.state=_not_started) | (init_act_3_lc__.state=_cancelled)) & ((urgent_req_act_5_lc__.state=_completed) | (urgent_req_act_5_lc__.state=_not_started) | (urgent_req_act_5_lc__.state=_cancelled)) & ((schedule_act_7_lc__.state=_completed) | (schedule_act_7_lc__.state=_not_started) | (schedule_act_7_lc__.state=_cancelled)) & ((unnamed_act_9_lc__.state=_completed) | (unnamed_act_9_lc__.state=_not_started)) & ((urgent_req2_act_10_lc__.state=_completed) | (urgent_req2_act_10_lc__.state=_not_started) | (urgent_req2_act_10_lc__.state=_cancelled)) & ((unnamed_act_8_lc__.state=_completed) | (unnamed_act_8_lc__.state=_not_started) | (unnamed_act_8_lc__.state=_cancelled)) & ((unnamed_act_6_lc__.state=_completed) | (unnamed_act_6_lc__.state=_not_started) | (unnamed_act_6_lc__.state=_cancelled)) & ((switch_act_4_lc__.state=_completed) | (switch_act_4_lc__.state=_not_started) | (switch_act_4_lc__.state=_cancelled)) & ((end_act_11_lc__.state=_completed) | (end_act_11_lc__.state=_not_started) | (end_act_11_lc__.state=_cancelled)) & ((main_act_2_lc__.state=_completed) | (main_act_2_lc__.state=_not_started) | (main_act_2_lc__.state=_cancelled))) &
        (next(process_ordersProcess_lc__.state)=_cancelled)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition complete
        ( ((main_act_2_lc__.state=_completed) & (process_ordersProcess_lc__.state=_running)) &
        (next(process_ordersProcess_lc__.state)=_completed)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |

    -- activity wait_catch_act_1
    -- catch fault urn_echo_echoService_orderCancelled activity ordersProcess
    --
    -- transition begin
        ( ((process_ordersProcess_lc__.state=_faulted) & (wait_catch_act_1_lc__.state=_not_started) & (process_ordersProcess_lc__.fault_handler=_wait_catch_act_1)) &
        (next(wait_catch_act_1_lc__.state)=_running)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition complete
        ( ((wait_catch_act_1_lc__.state=_running)) &
        (next(wait_catch_act_1_lc__.state)=_completed)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |

    -- activity main_act_2
    --
    -- transition begin
        ( ((main_act_2_lc__.state=_not_started)) &
        (next(main_act_2_lc__.state)=_running)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition complete
        ( ((main_act_2_lc__.state=_running) & (end_act_11_lc__.state=_completed)) &
        (next(main_act_2_lc__.state)=_completed)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition cancel
        ( ((main_act_2_lc__.state=_running) & ((process_ordersProcess_lc__.state=_fault_cancelling) | (process_ordersProcess_lc__.state=_cancelling) | (process_ordersProcess_lc__.state=_terminating))) &
        (next(main_act_2_lc__.state)=_cancelled)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |

    -- activity init_act_3
    --
    -- transition begin
        ( ((main_act_2_lc__.state=_running) & (init_act_3_lc__.state=_not_started)) &
        (next(init_act_3_lc__.state)=_running)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition complete
        ( ((init_act_3_lc__.state=_running)) &
        (next(init_act_3_lc__.state)=_completed) & (next(process_ordersProcess_lc__.state)=_running)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition cancel
        ( ((init_act_3_lc__.state=_running) & ((process_ordersProcess_lc__.state=_fault_cancelling) | (process_ordersProcess_lc__.state=_cancelling) | (process_ordersProcess_lc__.state=_terminating))) &
        (next(init_act_3_lc__.state)=_cancelled)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |

    -- activity switch_act_4
    --
    -- transition begin
        ( ((init_act_3_lc__.state=_completed) & (process_ordersProcess_lc__.state=_running) & (switch_act_4_lc__.state=_not_started)) &
        (next(switch_act_4_lc__.state)=_running) & (next(switch_act_4_switch_sel__.selected)=_none)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition begin_case_0
        ( ((switch_act_4_lc__.state=_running) & (switch_act_4_switch_sel__.selected=_none) & (order.urgent)) &
        (next(switch_act_4_switch_sel__.selected)=_case_0)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition complete_case_0
        ( ((switch_act_4_lc__.state=_running) & (urgent_req_act_5_lc__.state=_completed) & (switch_act_4_switch_sel__.selected=_case_0)) &
        (next(switch_act_4_lc__.state)=_completed) & (next(switch_act_4_switch_sel__.selected)=_none)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition begin_otherwise
        ( ((switch_act_4_lc__.state=_running) & (switch_act_4_switch_sel__.selected=_none) & (!(order.urgent))) &
        (next(switch_act_4_switch_sel__.selected)=_otherwise)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition complete_otherwise
        ( ((switch_act_4_lc__.state=_running) & (unnamed_act_6_lc__.state=_completed) & (switch_act_4_switch_sel__.selected=_otherwise)) &
        (next(switch_act_4_lc__.state)=_completed) & (next(switch_act_4_switch_sel__.selected)=_none)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition cancel
        ( ((switch_act_4_lc__.state=_running) & ((process_ordersProcess_lc__.state=_fault_cancelling) | (process_ordersProcess_lc__.state=_cancelling) | (process_ordersProcess_lc__.state=_terminating))) &
        (next(switch_act_4_lc__.state)=_cancelled)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |

    -- activity urgent_req_act_5
    --
    -- transition throw1
        ( ((urgent_req_act_5_lc__.state=_running)) &
        (next(urgent_req_act_5_lc__.state)=_completed) & ((next(process_ordersProcess_lc__.fault_handler)=_wait_catch_act_1))
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition begin
        ( ((switch_act_4_switch_sel__.selected=_case_0) & (process_ordersProcess_lc__.state=_running) & (urgent_req_act_5_lc__.state=_not_started)) &
        (next(urgent_req_act_5_lc__.state)=_running)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition complete
        ( ((urgent_req_act_5_lc__.state=_running)) &
        (next(urgent_req_act_5_lc__.state)=_completed)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition cancel
        ( ((urgent_req_act_5_lc__.state=_running) & ((process_ordersProcess_lc__.state=_fault_cancelling) | (process_ordersProcess_lc__.state=_cancelling) | (process_ordersProcess_lc__.state=_terminating))) &
        (next(urgent_req_act_5_lc__.state)=_cancelled)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |

    -- activity unnamed_act_6
    --
    -- transition begin
        ( ((switch_act_4_switch_sel__.selected=_otherwise) & (process_ordersProcess_lc__.state=_running) & (unnamed_act_6_lc__.state=_not_started)) &
        (next(unnamed_act_6_lc__.state)=_running)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition complete
        ( ((unnamed_act_6_lc__.state=_running) & (unnamed_act_8_lc__.state=_completed)) &
        (next(unnamed_act_6_lc__.state)=_completed)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition cancel
        ( ((unnamed_act_6_lc__.state=_running) & ((process_ordersProcess_lc__.state=_fault_cancelling) | (process_ordersProcess_lc__.state=_cancelling) | (process_ordersProcess_lc__.state=_terminating))) &
        (next(unnamed_act_6_lc__.state)=_cancelled)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |

    -- activity schedule_act_7
    --
    -- transition begin
        ( ((unnamed_act_6_lc__.state=_running) & (process_ordersProcess_lc__.state=_running) & (schedule_act_7_lc__.state=_not_started)) &
        (next(schedule_act_7_lc__.state)=_running)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition complete
        ( ((schedule_act_7_lc__.state=_running)) &
        (next(schedule_act_7_lc__.state)=_completed)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition cancel
        ( ((schedule_act_7_lc__.state=_running) & ((process_ordersProcess_lc__.state=_fault_cancelling) | (process_ordersProcess_lc__.state=_cancelling) | (process_ordersProcess_lc__.state=_terminating))) &
        (next(schedule_act_7_lc__.state)=_cancelled)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |

    -- activity unnamed_act_8
    --
    -- transition begin
        ( ((schedule_act_7_lc__.state=_completed) & (process_ordersProcess_lc__.state=_running) & (unnamed_act_8_lc__.state=_not_started)) &
        (next(unnamed_act_8_lc__.state)=_running) & (next(unnamed_act_8_pick_sel__.activated)=_none)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition begin_receive_not_0
        ( ((unnamed_act_8_lc__.state=_running) & (unnamed_act_8_pick_sel__.activated=_none)) &
        (next(unnamed_act_8_pick_sel__.activated)=_receive_not_0)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition complete_receive_not_0
        ( ((unnamed_act_8_lc__.state=_running) & (unnamed_act_9_lc__.state=_completed) & (unnamed_act_8_pick_sel__.activated=_receive_not_0)) &
        (next(unnamed_act_8_lc__.state)=_completed) & (next(unnamed_act_8_pick_sel__.activated)=_none)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition begin_onAlarm_0
        ( ((unnamed_act_8_lc__.state=_running) & (unnamed_act_8_pick_sel__.activated=_none)) &
        (next(unnamed_act_8_pick_sel__.activated)=_onAlarm_0)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition complete_onAlarm_0
        ( ((unnamed_act_8_lc__.state=_running) & (urgent_req2_act_10_lc__.state=_completed) & (unnamed_act_8_pick_sel__.activated=_onAlarm_0)) &
        (next(unnamed_act_8_lc__.state)=_completed) & (next(unnamed_act_8_pick_sel__.activated)=_none)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition cancel
        ( ((unnamed_act_8_lc__.state=_running) & ((process_ordersProcess_lc__.state=_fault_cancelling) | (process_ordersProcess_lc__.state=_cancelling) | (process_ordersProcess_lc__.state=_terminating))) &
        (next(unnamed_act_8_lc__.state)=_cancelled)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |

    -- activity unnamed_act_9
    --
    -- transition empty
        ( ((unnamed_act_8_pick_sel__.activated=_receive_not_0) & (process_ordersProcess_lc__.state=_running) & (unnamed_act_9_lc__.state=_not_started)) &
        (next(unnamed_act_9_lc__.state)=_completed)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |

    -- activity urgent_req2_act_10
    --
    -- transition throw1
        ( ((urgent_req2_act_10_lc__.state=_running)) &
        (next(urgent_req2_act_10_lc__.state)=_completed) & ((next(process_ordersProcess_lc__.fault_handler)=_wait_catch_act_1))
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition begin
        ( ((unnamed_act_8_pick_sel__.activated=_onAlarm_0) & (process_ordersProcess_lc__.state=_running) & (urgent_req2_act_10_lc__.state=_not_started)) &
        (next(urgent_req2_act_10_lc__.state)=_running)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition complete
        ( ((urgent_req2_act_10_lc__.state=_running)) &
        (next(urgent_req2_act_10_lc__.state)=_completed)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition cancel
        ( ((urgent_req2_act_10_lc__.state=_running) & ((process_ordersProcess_lc__.state=_fault_cancelling) | (process_ordersProcess_lc__.state=_cancelling) | (process_ordersProcess_lc__.state=_terminating))) &
        (next(urgent_req2_act_10_lc__.state)=_cancelled)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |

    -- activity end_act_11
    --
    -- transition fault_cancel_begin
        ( ((end_act_11_lc__.fault!=_none)) &
        (next(end_act_11_lc__.state)=_fault_cancelling)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition fault_cancel_end
        ( ((end_act_11_lc__.state=_fault_cancelling) & ((unnamed_act_12_lc__.state=_completed) | (unnamed_act_12_lc__.state=_not_started) | (unnamed_act_12_lc__.state=_cancelled))) &
        (next(end_act_11_lc__.state)=_faulted)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition cancel_begin
        ( ((end_act_11_lc__.state=_running) & ((process_ordersProcess_lc__.state=_fault_cancelling) | (process_ordersProcess_lc__.state=_cancelling))) &
        (next(end_act_11_lc__.state)=_cancelling)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition cancel_end
        ( (((end_act_11_lc__.state=_cancelling) | (end_act_11_lc__.state=_terminating)) & ((unnamed_act_12_lc__.state=_completed) | (unnamed_act_12_lc__.state=_not_started) | (unnamed_act_12_lc__.state=_cancelled))) &
        (next(end_act_11_lc__.state)=_cancelled)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition terminate
        ( ((process_ordersProcess_lc__.state=_terminating)) &
        (next(end_act_11_lc__.state)=_terminating)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition begin
        ( ((switch_act_4_lc__.state=_completed) & (process_ordersProcess_lc__.state=_running) & (end_act_11_lc__.state=_not_started)) &
        (next(end_act_11_lc__.state)=_running)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |
    -- transition complete
        ( ((unnamed_act_12_lc__.state=_completed) & (end_act_11_lc__.state=_running)) &
        (next(end_act_11_lc__.state)=_completed)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state )
    |

    -- activity unnamed_act_12
    --
    -- transition reply
        ( ((end_act_11_lc__.state=_running) & (end_act_11_lc__.state=_running) & (unnamed_act_12_lc__.state=_not_started)) &
        (next(unnamed_act_12_lc__.state)=_completed)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler )
    |
    -- transition cancel
        ( ((unnamed_act_12_lc__.state=_running) & ((end_act_11_lc__.state=_fault_cancelling) | (end_act_11_lc__.state=_cancelling) | (end_act_11_lc__.state=_terminating))) &
        (next(unnamed_act_12_lc__.state)=_cancelled)
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler )
    |
    -- final expression
        ( ((process_ordersProcess_lc__.state=_completed) | (process_ordersProcess_lc__.state=_cancelled) | (process_ordersProcess_lc__.state=_compensated))
         & next(order.urgent)=order.urgent & next(order.order__productId)=order.order__productId & next(order.order__color)=order.order__color & next(invoice.price)=invoice.price & next(invoice.urgent)=invoice.urgent & next(invoice.order__productId)=invoice.order__productId & next(invoice.order__color)=invoice.order__color & next(process_ordersProcess_lc__.state)=process_ordersProcess_lc__.state & next(process_ordersProcess_lc__.fault)=process_ordersProcess_lc__.fault & next(process_ordersProcess_lc__.fault_handler)=process_ordersProcess_lc__.fault_handler & next(wait_catch_act_1_lc__.state)=wait_catch_act_1_lc__.state & next(main_act_2_lc__.state)=main_act_2_lc__.state & next(init_act_3_lc__.state)=init_act_3_lc__.state & next(switch_act_4_lc__.state)=switch_act_4_lc__.state & next(switch_act_4_switch_sel__.selected)=switch_act_4_switch_sel__.selected & next(urgent_req_act_5_lc__.state)=urgent_req_act_5_lc__.state & next(urgent_req_act_5_lc__.fault)=urgent_req_act_5_lc__.fault & next(urgent_req_act_5_lc__.fault_handler)=urgent_req_act_5_lc__.fault_handler & next(unnamed_act_6_lc__.state)=unnamed_act_6_lc__.state & next(schedule_act_7_lc__.state)=schedule_act_7_lc__.state & next(schedule_act_7_lc__.fault)=schedule_act_7_lc__.fault & next(schedule_act_7_lc__.fault_handler)=schedule_act_7_lc__.fault_handler & next(unnamed_act_8_lc__.state)=unnamed_act_8_lc__.state & next(unnamed_act_8_pick_sel__.activated)=unnamed_act_8_pick_sel__.activated & next(unnamed_act_9_lc__.state)=unnamed_act_9_lc__.state & next(urgent_req2_act_10_lc__.state)=urgent_req2_act_10_lc__.state & next(urgent_req2_act_10_lc__.fault)=urgent_req2_act_10_lc__.fault & next(urgent_req2_act_10_lc__.fault_handler)=urgent_req2_act_10_lc__.fault_handler & next(end_act_11_lc__.state)=end_act_11_lc__.state & next(end_act_11_lc__.fault)=end_act_11_lc__.fault & next(end_act_11_lc__.fault_handler)=end_act_11_lc__.fault_handler & next(unnamed_act_12_lc__.state)=unnamed_act_12_lc__.state)

FAIRNESS
    running

-- goal noneRunning
SPEC
    AF(AG((!(process_ordersProcess_lc__.state=_running)) & (!(wait_catch_act_1_lc__.state=_running)) & (!(main_act_2_lc__.state=_running)) & (!(init_act_3_lc__.state=_running)) & (!(switch_act_4_lc__.state=_running)) & (!(urgent_req_act_5_lc__.state=_running)) & (!(unnamed_act_6_lc__.state=_running)) & (!(schedule_act_7_lc__.state=_running)) & (!(unnamed_act_8_lc__.state=_running)) & (!(unnamed_act_9_lc__.state=_running)) & (!(urgent_req2_act_10_lc__.state=_running)) & (!(end_act_11_lc__.state=_running)) & (!(unnamed_act_12_lc__.state=_running))))