CPAL Playground

/*
Licence Creative Commons CC0 - "No Rights Reserved"
@keywords transition, conditional; activation, state-dependent
*/

enum System_State
{
  STATE1, STATE2
};

var System_State: current_state = System_State.STATE1;

processdef Alternate(out System_State: arg1)
{
  state First {
    arg1 = System_State.STATE1;
  }
  on (true) to Second;
  
  state Second {
    arg1 = System_State.STATE2;
  }
  on (true) to First;
}

processdef Source(out channel<uint32>: to_fx)
{
  state Main{
    assert(to_fx.is_empty());
    to_fx.push( uint32.rand_uniform(1,10) );	
    IO.println("Source activated");
  }
}

processdef Fx(
  in channel<uint32>: for_fx,
  out channel<uint32>: to_dest)
{
  state Main {
    var uint32: data;
    assert(for_fx.not_empty());
    data = for_fx.pop();
    IO.println("function %u activated", self.pid);
    to_dest.push(data);
  }
}

processdef Dest(in channel<uint32>: for_dest)
{
  state Main {
    var uint32: data;
    assert(for_dest.not_empty());
    data = for_dest.pop();	
    IO.println("Dest activated");
  }
}

var queue<uint32>: source_to_fx[1];
var queue<uint32>: fx_to_dest[1];

process Alternate: alternate[100ms](current_state);
process Source: source[100ms](source_to_fx);
process Fx: F1[100ms][current_state == System_State.STATE1](source_to_fx, fx_to_dest);
process Fx: F2[100ms][current_state == System_State.STATE2](source_to_fx, fx_to_dest);
process Dest: dest[100ms](fx_to_dest);

for ms or try the desktop editor with advanced diagram views

Simulation
Tasks diagram


Quiet mode disabled
[0.000000000000:ASSIGN] Assign cpal_system new value: Scheduling_Policy.FIFO
[0.000000000000:control-flow:STARTING_TASK] 'alternate'
[0.000000000000:STATE] process "Alternate", instance "alternate", state "First"
[0.000000000000:ASSIGN] Assign current_state new value: System_State.STATE1
[0.000000000000:control-flow:TASK_FINISHED] 'alternate'
[0.000000000000:control-flow:STARTING_TASK] 'source'
[0.000000000000:STATE] process "Source", instance "source", state "Main"
[0.000000000000:ASSIGN][0.000000000000] Pushed source_to_fx new value: 1
[0.000000000000:PRINTLN] Source activated
[0.000000000000:control-flow:TASK_FINISHED] 'source'
[0.000000000000:control-flow:STARTING_TASK] 'F1'
[0.000000000000:STATE] process "Fx", instance "F1", state "Main"
[0.000000000000:PRINTLN] function 2 activated
[0.000000000000:ASSIGN][0.000000000000] Pushed fx_to_dest new value: 1
[0.000000000000:control-flow:TASK_FINISHED] 'F1'
[0.000000000000:control-flow:STARTING_TASK] 'dest'
[0.000000000000:STATE] process "Dest", instance "dest", state "Main"
[0.000000000000:PRINTLN] Dest activated
[0.000000000000:control-flow:TASK_FINISHED] 'dest'
[0.100000000000:control-flow:STARTING_TASK] 'alternate'
[0.100000000000:STATE] process "Alternate", instance "alternate", state "Second"
[0.100000000000:ASSIGN] Assign current_state new value: System_State.STATE2
[0.100000000000:control-flow:TASK_FINISHED] 'alternate'
[0.100000000000:control-flow:STARTING_TASK] 'source'
[0.100000000000:ASSIGN][0.100000000000] Pushed source_to_fx new value: 9
[0.100000000000:PRINTLN] Source activated
[0.100000000000:control-flow:TASK_FINISHED] 'source'
[0.100000000000:control-flow:STARTING_TASK] 'F2'
[0.100000000000:STATE] process "Fx", instance "F2", state "Main"
[0.100000000000:PRINTLN] function 3 activated
[0.100000000000:ASSIGN][0.100000000000] Pushed fx_to_dest new value: 9
[0.100000000000:control-flow:TASK_FINISHED] 'F2'
[0.100000000000:control-flow:STARTING_TASK] 'dest'
[0.100000000000:PRINTLN] Dest activated
[0.100000000000:control-flow:TASK_FINISHED] 'dest'
[0.200000000000:control-flow:STARTING_TASK] 'alternate'
[0.200000000000:STATE] process "Alternate", instance "alternate", state "First"
[0.200000000000:ASSIGN] Assign current_state new value: System_State.STATE1
[0.200000000000:control-flow:TASK_FINISHED] 'alternate'
[0.200000000000:control-flow:STARTING_TASK] 'source'
[0.200000000000:ASSIGN][0.200000000000] Pushed source_to_fx new value: 1
[0.200000000000:PRINTLN] Source activated
[0.200000000000:control-flow:TASK_FINISHED] 'source'
[0.200000000000:control-flow:STARTING_TASK] 'F1'
[0.200000000000:PRINTLN] function 2 activated
[0.200000000000:ASSIGN][0.200000000000] Pushed fx_to_dest new value: 1
[0.200000000000:control-flow:TASK_FINISHED] 'F1'
[0.200000000000:control-flow:STARTING_TASK] 'dest'
[0.200000000000:PRINTLN] Dest activated
[0.200000000000:control-flow:TASK_FINISHED] 'dest'
[0.300000000000:control-flow:STARTING_TASK] 'alternate'
[0.300000000000:STATE] process "Alternate", instance "alternate", state "Second"
[0.300000000000:ASSIGN] Assign current_state new value: System_State.STATE2
[0.300000000000:control-flow:TASK_FINISHED] 'alternate'
[0.300000000000:control-flow:STARTING_TASK] 'source'
[0.300000000000:ASSIGN][0.300000000000] Pushed source_to_fx new value: 3
[0.300000000000:PRINTLN] Source activated
[0.300000000000:control-flow:TASK_FINISHED] 'source'
[0.300000000000:control-flow:STARTING_TASK] 'F2'
[0.300000000000:PRINTLN] function 3 activated
[0.300000000000:ASSIGN][0.300000000000] Pushed fx_to_dest new value: 3
[0.300000000000:control-flow:TASK_FINISHED] 'F2'
[0.300000000000:control-flow:STARTING_TASK] 'dest'
[0.300000000000:PRINTLN] Dest activated
[0.300000000000:control-flow:TASK_FINISHED] 'dest'
[0.400000000000:control-flow:STARTING_TASK] 'alternate'
[0.400000000000:STATE] process "Alternate", instance "alternate", state "First"
[0.400000000000:ASSIGN] Assign current_state new value: System_State.STATE1
[0.400000000000:control-flow:TASK_FINISHED] 'alternate'
[0.400000000000:control-flow:STARTING_TASK] 'source'
[0.400000000000:ASSIGN][0.400000000000] Pushed source_to_fx new value: 7
[0.400000000000:PRINTLN] Source activated
[0.400000000000:control-flow:TASK_FINISHED] 'source'
[0.400000000000:control-flow:STARTING_TASK] 'F1'
[0.400000000000:PRINTLN] function 2 activated
[0.400000000000:ASSIGN][0.400000000000] Pushed fx_to_dest new value: 7
[0.400000000000:control-flow:TASK_FINISHED] 'F1'
[0.400000000000:control-flow:STARTING_TASK] 'dest'
[0.400000000000:PRINTLN] Dest activated
[0.400000000000:control-flow:TASK_FINISHED] 'dest'
[0.500000000000:control-flow:STARTING_TASK] 'alternate'
[0.500000000000:STATE] process "Alternate", instance "alternate", state "Second"
[0.500000000000:ASSIGN] Assign current_state new value: System_State.STATE2
[0.500000000000:control-flow:TASK_FINISHED] 'alternate'
[0.500000000000:control-flow:STARTING_TASK] 'source'
[0.500000000000:ASSIGN][0.500000000000] Pushed source_to_fx new value: 9
[0.500000000000:PRINTLN] Source activated
[0.500000000000:control-flow:TASK_FINISHED] 'source'
[0.500000000000:control-flow:STARTING_TASK] 'F2'
[0.500000000000:PRINTLN] function 3 activated
[0.500000000000:ASSIGN][0.500000000000] Pushed fx_to_dest new value: 9
[0.500000000000:control-flow:TASK_FINISHED] 'F2'
[0.500000000000:control-flow:STARTING_TASK] 'dest'
[0.500000000000:PRINTLN] Dest activated
[0.500000000000:control-flow:TASK_FINISHED] 'dest'
[0.600000000000:control-flow:STARTING_TASK] 'alternate'
[0.600000000000:STATE] process "Alternate", instance "alternate", state "First"
[0.600000000000:ASSIGN] Assign current_state new value: System_State.STATE1
[0.600000000000:control-flow:TASK_FINISHED] 'alternate'
[0.600000000000:control-flow:STARTING_TASK] 'source'
[0.600000000000:ASSIGN][0.600000000000] Pushed source_to_fx new value: 10
[0.600000000000:PRINTLN] Source activated
[0.600000000000:control-flow:TASK_FINISHED] 'source'
[0.600000000000:control-flow:STARTING_TASK] 'F1'
[0.600000000000:PRINTLN] function 2 activated
[0.600000000000:ASSIGN][0.600000000000] Pushed fx_to_dest new value: 10
[0.600000000000:control-flow:TASK_FINISHED] 'F1'
[0.600000000000:control-flow:STARTING_TASK] 'dest'
[0.600000000000:PRINTLN] Dest activated
[0.600000000000:control-flow:TASK_FINISHED] 'dest'
[0.700000000000:control-flow:STARTING_TASK] 'alternate'
[0.700000000000:STATE] process "Alternate", instance "alternate", state "Second"
[0.700000000000:ASSIGN] Assign current_state new value: System_State.STATE2
[0.700000000000:control-flow:TASK_FINISHED] 'alternate'
[0.700000000000:control-flow:STARTING_TASK] 'source'
[0.700000000000:ASSIGN][0.700000000000] Pushed source_to_fx new value: 9
[0.700000000000:PRINTLN] Source activated
[0.700000000000:control-flow:TASK_FINISHED] 'source'
[0.700000000000:control-flow:STARTING_TASK] 'F2'
[0.700000000000:PRINTLN] function 3 activated
[0.700000000000:ASSIGN][0.700000000000] Pushed fx_to_dest new value: 9
[0.700000000000:control-flow:TASK_FINISHED] 'F2'
[0.700000000000:control-flow:STARTING_TASK] 'dest'
[0.700000000000:PRINTLN] Dest activated
[0.700000000000:control-flow:TASK_FINISHED] 'dest'
[0.800000000000:control-flow:STARTING_TASK] 'alternate'
[0.800000000000:STATE] process "Alternate", instance "alternate", state "First"
[0.800000000000:ASSIGN] Assign current_state new value: System_State.STATE1
[0.800000000000:control-flow:TASK_FINISHED] 'alternate'
[0.800000000000:control-flow:STARTING_TASK] 'source'
[0.800000000000:ASSIGN][0.800000000000] Pushed source_to_fx new value: 7
[0.800000000000:PRINTLN] Source activated
[0.800000000000:control-flow:TASK_FINISHED] 'source'
[0.800000000000:control-flow:STARTING_TASK] 'F1'
[0.800000000000:PRINTLN] function 2 activated
[0.800000000000:ASSIGN][0.800000000000] Pushed fx_to_dest new value: 7
[0.800000000000:control-flow:TASK_FINISHED] 'F1'
[0.800000000000:control-flow:STARTING_TASK] 'dest'
[0.800000000000:PRINTLN] Dest activated
[0.800000000000:control-flow:TASK_FINISHED] 'dest'
[0.900000000000:control-flow:STARTING_TASK] 'alternate'
[0.900000000000:STATE] process "Alternate", instance "alternate", state "Second"
[0.900000000000:ASSIGN] Assign current_state new value: System_State.STATE2
[0.900000000000:control-flow:TASK_FINISHED] 'alternate'
[0.900000000000:control-flow:STARTING_TASK] 'source'
[0.900000000000:ASSIGN][0.900000000000] Pushed source_to_fx new value: 3
[0.900000000000:PRINTLN] Source activated
[0.900000000000:control-flow:TASK_FINISHED] 'source'
[0.900000000000:control-flow:STARTING_TASK] 'F2'
[0.900000000000:PRINTLN] function 3 activated
[0.900000000000:ASSIGN][0.900000000000] Pushed fx_to_dest new value: 3
[0.900000000000:control-flow:TASK_FINISHED] 'F2'
[0.900000000000:control-flow:STARTING_TASK] 'dest'
[0.900000000000:PRINTLN] Dest activated
[0.900000000000:control-flow:TASK_FINISHED] 'dest'
[1.000000000000:control-flow:STARTING_TASK] 'alternate'
[1.000000000000:STATE] process "Alternate", instance "alternate", state "First"
[1.000000000000:ASSIGN] Assign current_state new value: System_State.STATE1
[1.000000000000:control-flow:TASK_FINISHED] 'alternate'
[1.000000000000:control-flow:STARTING_TASK] 'source'
[1.000000000000:ASSIGN][1.000000000000] Pushed source_to_fx new value: 4
[1.000000000000:PRINTLN] Source activated
[1.000000000000:control-flow:TASK_FINISHED] 'source'
[1.000000000000:control-flow:STARTING_TASK] 'F1'
[1.000000000000:PRINTLN] function 2 activated
[1.000000000000:ASSIGN][1.000000000000] Pushed fx_to_dest new value: 4
[1.000000000000:control-flow:TASK_FINISHED] 'F1'
[1.000000000000:control-flow:STARTING_TASK] 'dest'
[1.000000000000:PRINTLN] Dest activated
[1.000000000000:control-flow:TASK_FINISHED] 'dest'
[1.100000000000:control-flow:STARTING_TASK] 'alternate'
[1.100000000000:STATE] process "Alternate", instance "alternate", state "Second"
[1.100000000000:ASSIGN] Assign current_state new value: System_State.STATE2
[1.100000000000:control-flow:TASK_FINISHED] 'alternate'
[1.100000000000:control-flow:STARTING_TASK] 'source'
[1.100000000000:ASSIGN][1.100000000000] Pushed source_to_fx new value: 8
[1.100000000000:PRINTLN] Source activated
[1.100000000000:control-flow:TASK_FINISHED] 'source'
[1.100000000000:control-flow:STARTING_TASK] 'F2'
[1.100000000000:PRINTLN] function 3 activated
[1.100000000000:ASSIGN][1.100000000000] Pushed fx_to_dest new value: 8
[1.100000000000:control-flow:TASK_FINISHED] 'F2'
[1.100000000000:control-flow:STARTING_TASK] 'dest'
[1.100000000000:PRINTLN] Dest activated
[1.100000000000:control-flow:TASK_FINISHED] 'dest'
[1.200000000000:control-flow:STARTING_TASK] 'alternate'
[1.200000000000:STATE] process "Alternate", instance "alternate", state "First"
[1.200000000000:ASSIGN] Assign current_state new value: System_State.STATE1
[1.200000000000:control-flow:TASK_FINISHED] 'alternate'
[1.200000000000:control-flow:STARTING_TASK] 'source'
[1.200000000000:ASSIGN][1.200000000000] Pushed source_to_fx new value: 1
[1.200000000000:PRINTLN] Source activated
[1.200000000000:control-flow:TASK_FINISHED] 'source'
[1.200000000000:control-flow:STARTING_TASK] 'F1'
[1.200000000000:PRINTLN] function 2 activated
[1.200000000000:ASSIGN][1.200000000000] Pushed fx_to_dest new value: 1
[1.200000000000:control-flow:TASK_FINISHED] 'F1'
[1.200000000000:control-flow:STARTING_TASK] 'dest'
[1.200000000000:PRINTLN] Dest activated
[1.200000000000:control-flow:TASK_FINISHED] 'dest'
[1.300000000000:control-flow:STARTING_TASK] 'alternate'
[1.300000000000:STATE] process "Alternate", instance "alternate", state "Second"
[1.300000000000:ASSIGN] Assign current_state new value: System_State.STATE2
[1.300000000000:control-flow:TASK_FINISHED] 'alternate'
[1.300000000000:control-flow:STARTING_TASK] 'source'
[1.300000000000:ASSIGN][1.300000000000] Pushed source_to_fx new value: 8
[1.300000000000:PRINTLN] Source activated
[1.300000000000:control-flow:TASK_FINISHED] 'source'
[1.300000000000:control-flow:STARTING_TASK] 'F2'
[1.300000000000:PRINTLN] function 3 activated
[1.300000000000:ASSIGN][1.300000000000] Pushed fx_to_dest new value: 8
[1.300000000000:control-flow:TASK_FINISHED] 'F2'
[1.300000000000:control-flow:STARTING_TASK] 'dest'
[1.300000000000:PRINTLN] Dest activated
[1.300000000000:control-flow:TASK_FINISHED] 'dest'
[1.400000000000:control-flow:STARTING_TASK] 'alternate'
[1.400000000000:STATE] process "Alternate", instance "alternate", state "First"
[1.400000000000:ASSIGN] Assign current_state new value: System_State.STATE1
[1.400000000000:control-flow:TASK_FINISHED] 'alternate'
[1.400000000000:control-flow:STARTING_TASK] 'source'
[1.400000000000:ASSIGN][1.400000000000] Pushed source_to_fx new value: 9
[1.400000000000:PRINTLN] Source activated
[1.400000000000:control-flow:TASK_FINISHED] 'source'
[1.400000000000:control-flow:STARTING_TASK] 'F1'
[1.400000000000:PRINTLN] function 2 activated
[1.400000000000:ASSIGN][1.400000000000] Pushed fx_to_dest new value: 9
[1.400000000000:control-flow:TASK_FINISHED] 'F1'
[1.400000000000:control-flow:STARTING_TASK] 'dest'
[1.400000000000:PRINTLN] Dest activated
[1.400000000000:control-flow:TASK_FINISHED] 'dest'
[1.500000000000:control-flow:STARTING_TASK] 'alternate'
[1.500000000000:STATE] process "Alternate", instance "alternate", state "Second"
[1.500000000000:ASSIGN] Assign current_state new value: System_State.STATE2
[1.500000000000:control-flow:TASK_FINISHED] 'alternate'
[1.500000000000:control-flow:STARTING_TASK] 'source'
[1.500000000000:ASSIGN][1.500000000000] Pushed source_to_fx new value: 3
[1.500000000000:PRINTLN] Source activated
[1.500000000000:control-flow:TASK_FINISHED] 'source'
[1.500000000000:control-flow:STARTING_TASK] 'F2'
[1.500000000000:PRINTLN] function 3 activated
[1.500000000000:ASSIGN][1.500000000000] Pushed fx_to_dest new value: 3
[1.500000000000:control-flow:TASK_FINISHED] 'F2'
[1.500000000000:control-flow:STARTING_TASK] 'dest'
[1.500000000000:PRINTLN] Dest activated
[1.500000000000:control-flow:TASK_FINISHED] 'dest'
[1.600000000000:control-flow:STARTING_TASK] 'alternate'
[1.600000000000:STATE] process "Alternate", instance "alternate", state "First"
[1.600000000000:ASSIGN] Assign current_state new value: System_State.STATE1
[1.600000000000:control-flow:TASK_FINISHED] 'alternate'
[1.600000000000:control-flow:STARTING_TASK] 'source'
[1.600000000000:ASSIGN][1.600000000000] Pushed source_to_fx new value: 3
[1.600000000000:PRINTLN] Source activated
[1.600000000000:control-flow:TASK_FINISHED] 'source'
[1.600000000000:control-flow:STARTING_TASK] 'F1'
[1.600000000000:PRINTLN] function 2 activated
[1.600000000000:ASSIGN][1.600000000000] Pushed fx_to_dest new value: 3
[1.600000000000:control-flow:TASK_FINISHED] 'F1'
[1.600000000000:control-flow:STARTING_TASK] 'dest'
[1.600000000000:PRINTLN] Dest activated
[1.600000000000:control-flow:TASK_FINISHED] 'dest'
[1.700000000000:control-flow:STARTING_TASK] 'alternate'
[1.700000000000:STATE] process "Alternate", instance "alternate", state "Second"
[1.700000000000:ASSIGN] Assign current_state new value: System_State.STATE2
[1.700000000000:control-flow:TASK_FINISHED] 'alternate'
[1.700000000000:control-flow:STARTING_TASK] 'source'
[1.700000000000:ASSIGN][1.700000000000] Pushed source_to_fx new value: 2
[1.700000000000:PRINTLN] Source activated
[1.700000000000:control-flow:TASK_FINISHED] 'source'
[1.700000000000:control-flow:STARTING_TASK] 'F2'
[1.700000000000:PRINTLN] function 3 activated
[1.700000000000:ASSIGN][1.700000000000] Pushed fx_to_dest new value: 2
[1.700000000000:control-flow:TASK_FINISHED] 'F2'
[1.700000000000:control-flow:STARTING_TASK] 'dest'
[1.700000000000:PRINTLN] Dest activated
[1.700000000000:control-flow:TASK_FINISHED] 'dest'
[1.800000000000:control-flow:STARTING_TASK] 'alternate'
[1.800000000000:STATE] process "Alternate", instance "alternate", state "First"
[1.800000000000:ASSIGN] Assign current_state new value: System_State.STATE1
[1.800000000000:control-flow:TASK_FINISHED] 'alternate'
[1.800000000000:control-flow:STARTING_TASK] 'source'
[1.800000000000:ASSIGN][1.800000000000] Pushed source_to_fx new value: 8
[1.800000000000:PRINTLN] Source activated
[1.800000000000:control-flow:TASK_FINISHED] 'source'
[1.800000000000:control-flow:STARTING_TASK] 'F1'
[1.800000000000:PRINTLN] function 2 activated
[1.800000000000:ASSIGN][1.800000000000] Pushed fx_to_dest new value: 8
[1.800000000000:control-flow:TASK_FINISHED] 'F1'
[1.800000000000:control-flow:STARTING_TASK] 'dest'
[1.800000000000:PRINTLN] Dest activated
[1.800000000000:control-flow:TASK_FINISHED] 'dest'
[1.900000000000:control-flow:STARTING_TASK] 'alternate'
[1.900000000000:STATE] process "Alternate", instance "alternate", state "Second"
[1.900000000000:ASSIGN] Assign current_state new value: System_State.STATE2
[1.900000000000:control-flow:TASK_FINISHED] 'alternate'
[1.900000000000:control-flow:STARTING_TASK] 'source'
[1.900000000000:ASSIGN][1.900000000000] Pushed source_to_fx new value: 4
[1.900000000000:PRINTLN] Source activated
[1.900000000000:control-flow:TASK_FINISHED] 'source'
[1.900000000000:control-flow:STARTING_TASK] 'F2'
[1.900000000000:PRINTLN] function 3 activated
[1.900000000000:ASSIGN][1.900000000000] Pushed fx_to_dest new value: 4
[1.900000000000:control-flow:TASK_FINISHED] 'F2'
[1.900000000000:control-flow:STARTING_TASK] 'dest'
[1.900000000000:PRINTLN] Dest activated
[1.900000000000:control-flow:TASK_FINISHED] 'dest'
[2.000000000000:control-flow:STARTING_TASK] 'alternate'
[2.000000000000:STATE] process "Alternate", instance "alternate", state "First"
[2.000000000000:ASSIGN] Assign current_state new value: System_State.STATE1
[2.000000000000:control-flow:TASK_FINISHED] 'alternate'
[2.000000000000:control-flow:STARTING_TASK] 'source'
[2.000000000000:ASSIGN][2.000000000000] Pushed source_to_fx new value: 9
[2.000000000000:PRINTLN] Source activated
[2.000000000000:control-flow:TASK_FINISHED] 'source'
[2.000000000000:control-flow:STARTING_TASK] 'F1'
[2.000000000000:PRINTLN] function 2 activated
[2.000000000000:ASSIGN][2.000000000000] Pushed fx_to_dest new value: 9
[2.000000000000:control-flow:TASK_FINISHED] 'F1'
[2.000000000000:control-flow:STARTING_TASK] 'dest'
[2.000000000000:PRINTLN] Dest activated
[2.000000000000:control-flow:TASK_FINISHED] 'dest'
[2.100000000000:control-flow:STARTING_TASK] 'alternate'
[2.100000000000:STATE] process "Alternate", instance "alternate", state "Second"
[2.100000000000:ASSIGN] Assign current_state new value: System_State.STATE2
[2.100000000000:control-flow:TASK_FINISHED] 'alternate'
[2.100000000000:control-flow:STARTING_TASK] 'source'
[2.100000000000:ASSIGN][2.100000000000] Pushed source_to_fx new value: 5
[2.100000000000:PRINTLN] Source activated
[2.100000000000:control-flow:TASK_FINISHED] 'source'
[2.100000000000:control-flow:STARTING_TASK] 'F2'
[2.100000000000:PRINTLN] function 3 activated
[2.100000000000:ASSIGN][2.100000000000] Pushed fx_to_dest new value: 5
[2.100000000000:control-flow:TASK_FINISHED] 'F2'
[2.100000000000:control-flow:STARTING_TASK] 'dest'
[2.100000000000:PRINTLN] Dest activated
[2.100000000000:control-flow:TASK_FINISHED] 'dest'
[2.200000000000:control-flow:STARTING_TASK] 'alternate'
[2.200000000000:STATE] process "Alternate", instance "alternate", state "First"
[2.200000000000:ASSIGN] Assign current_state new value: System_State.STATE1
[2.200000000000:control-flow:TASK_FINISHED] 'alternate'
[2.200000000000:control-flow:STARTING_TASK] 'source'
[2.200000000000:ASSIGN][2.200000000000] Pushed source_to_fx new value: 6
[2.200000000000:PRINTLN] Source activated
[2.200000000000:control-flow:TASK_FINISHED] 'source'
[2.200000000000:control-flow:STARTING_TASK] 'F1'
[2.200000000000:PRINTLN] function 2 activated
[2.200000000000:ASSIGN][2.200000000000] Pushed fx_to_dest new value: 6
[2.200000000000:control-flow:TASK_FINISHED] 'F1'
[2.200000000000:control-flow:STARTING_TASK] 'dest'
[2.200000000000:PRINTLN] Dest activated
[2.200000000000:control-flow:TASK_FINISHED] 'dest'
[2.300000000000:control-flow:STARTING_TASK] 'alternate'
[2.300000000000:STATE] process "Alternate", instance "alternate", state "Second"
[2.300000000000:ASSIGN] Assign current_state new value: System_State.STATE2
[2.300000000000:control-flow:TASK_FINISHED] 'alternate'
[2.300000000000:control-flow:STARTING_TASK] 'source'
[2.300000000000:ASSIGN][2.300000000000] Pushed source_to_fx new value: 7
[2.300000000000:PRINTLN] Source activated
[2.300000000000:control-flow:TASK_FINISHED] 'source'
[2.300000000000:control-flow:STARTING_TASK] 'F2'
[2.300000000000:PRINTLN] function 3 activated
[2.300000000000:ASSIGN][2.300000000000] Pushed fx_to_dest new value: 7
[2.300000000000:control-flow:TASK_FINISHED] 'F2'
[2.300000000000:control-flow:STARTING_TASK] 'dest'
[2.300000000000:PRINTLN] Dest activated
[2.300000000000:control-flow:TASK_FINISHED] 'dest'
[2.400000000000:control-flow:STARTING_TASK] 'alternate'
[2.400000000000:STATE] process "Alternate", instance "alternate", state "First"
[2.400000000000:ASSIGN] Assign current_state new value: System_State.STATE1
[2.400000000000:control-flow:TASK_FINISHED] 'alternate'
[2.400000000000:control-flow:STARTING_TASK] 'source'
[2.400000000000:ASSIGN][2.400000000000] Pushed source_to_fx new value: 2
[2.400000000000:PRINTLN] Source activated
[2.400000000000:control-flow:TASK_FINISHED] 'source'
[2.400000000000:control-flow:STARTING_TASK] 'F1'
[2.400000000000:PRINTLN] function 2 activated
[2.400000000000:ASSIGN][2.400000000000] Pushed fx_to_dest new value: 2
[2.400000000000:control-flow:TASK_FINISHED] 'F1'
[2.400000000000:control-flow:STARTING_TASK] 'dest'
[2.400000000000:PRINTLN] Dest activated
[2.400000000000:control-flow:TASK_FINISHED] 'dest'
[2.500000000000:control-flow:STARTING_TASK] 'alternate'
[2.500000000000:STATE] process "Alternate", instance "alternate", state "Second"
[2.500000000000:ASSIGN] Assign current_state new value: System_State.STATE2
[2.500000000000:control-flow:TASK_FINISHED] 'alternate'
[2.500000000000:control-flow:STARTING_TASK] 'source'
[2.500000000000:ASSIGN][2.500000000000] Pushed source_to_fx new value: 6
[2.500000000000:PRINTLN] Source activated
[2.500000000000:control-flow:TASK_FINISHED] 'source'
[2.500000000000:control-flow:STARTING_TASK] 'F2'
[2.500000000000:PRINTLN] function 3 activated
[2.500000000000:ASSIGN][2.500000000000] Pushed fx_to_dest new value: 6
[2.500000000000:control-flow:TASK_FINISHED] 'F2'
[2.500000000000:control-flow:STARTING_TASK] 'dest'
[2.500000000000:PRINTLN] Dest activated
[2.500000000000:control-flow:TASK_FINISHED] 'dest'
[2.600000000000:control-flow:STARTING_TASK] 'alternate'
[2.600000000000:STATE] process "Alternate", instance "alternate", state "First"
[2.600000000000:ASSIGN] Assign current_state new value: System_State.STATE1
[2.600000000000:control-flow:TASK_FINISHED] 'alternate'
[2.600000000000:control-flow:STARTING_TASK] 'source'
[2.600000000000:ASSIGN][2.600000000000] Pushed source_to_fx new value: 9
[2.600000000000:PRINTLN] Source activated
[2.600000000000:control-flow:TASK_FINISHED] 'source'
[2.600000000000:control-flow:STARTING_TASK] 'F1'
[2.600000000000:PRINTLN] function 2 activated
[2.600000000000:ASSIGN][2.600000000000] Pushed fx_to_dest new value: 9
[2.600000000000:control-flow:TASK_FINISHED] 'F1'
[2.600000000000:control-flow:STARTING_TASK] 'dest'
[2.600000000000:PRINTLN] Dest activated
[2.600000000000:control-flow:TASK_FINISHED] 'dest'
[2.700000000000:control-flow:STARTING_TASK] 'alternate'
[2.700000000000:STATE] process "Alternate", instance "alternate", state "Second"
[2.700000000000:ASSIGN] Assign current_state new value: System_State.STATE2
[2.700000000000:control-flow:TASK_FINISHED] 'alternate'
[2.700000000000:control-flow:STARTING_TASK] 'source'
[2.700000000000:ASSIGN][2.700000000000] Pushed source_to_fx new value: 1
[2.700000000000:PRINTLN] Source activated
[2.700000000000:control-flow:TASK_FINISHED] 'source'
[2.700000000000:control-flow:STARTING_TASK] 'F2'
[2.700000000000:PRINTLN] function 3 activated
[2.700000000000:ASSIGN][2.700000000000] Pushed fx_to_dest new value: 1
[2.700000000000:control-flow:TASK_FINISHED] 'F2'
[2.700000000000:control-flow:STARTING_TASK] 'dest'
[2.700000000000:PRINTLN] Dest activated
[2.700000000000:control-flow:TASK_FINISHED] 'dest'
[2.800000000000:control-flow:STARTING_TASK] 'alternate'
[2.800000000000:STATE] process "Alternate", instance "alternate", state "First"
[2.800000000000:ASSIGN] Assign current_state new value: System_State.STATE1
[2.800000000000:control-flow:TASK_FINISHED] 'alternate'
[2.800000000000:control-flow:STARTING_TASK] 'source'
[2.800000000000:ASSIGN][2.800000000000] Pushed source_to_fx new value: 1
[2.800000000000:PRINTLN] Source activated
[2.800000000000:control-flow:TASK_FINISHED] 'source'
[2.800000000000:control-flow:STARTING_TASK] 'F1'
[2.800000000000:PRINTLN] function 2 activated
[2.800000000000:ASSIGN][2.800000000000] Pushed fx_to_dest new value: 1
[2.800000000000:control-flow:TASK_FINISHED] 'F1'
[2.800000000000:control-flow:STARTING_TASK] 'dest'
[2.800000000000:PRINTLN] Dest activated
[2.800000000000:control-flow:TASK_FINISHED] 'dest'
[2.900000000000:control-flow:STARTING_TASK] 'alternate'
[2.900000000000:STATE] process "Alternate", instance "alternate", state "Second"
[2.900000000000:ASSIGN] Assign current_state new value: System_State.STATE2
[2.900000000000:control-flow:TASK_FINISHED] 'alternate'
[2.900000000000:control-flow:STARTING_TASK] 'source'
[2.900000000000:ASSIGN][2.900000000000] Pushed source_to_fx new value: 2
[2.900000000000:PRINTLN] Source activated
[2.900000000000:control-flow:TASK_FINISHED] 'source'
[2.900000000000:control-flow:STARTING_TASK] 'F2'
[2.900000000000:PRINTLN] function 3 activated
[2.900000000000:ASSIGN][2.900000000000] Pushed fx_to_dest new value: 2
[2.900000000000:control-flow:TASK_FINISHED] 'F2'
[2.900000000000:control-flow:STARTING_TASK] 'dest'
[2.900000000000:PRINTLN] Dest activated
[2.900000000000:control-flow:TASK_FINISHED] 'dest'
[3.000000000000:control-flow:STARTING_TASK] 'alternate'
[3.000000000000:STATE] process "Alternate", instance "alternate", state "First"
[3.000000000000:ASSIGN] Assign current_state new value: System_State.STATE1
[3.000000000000:control-flow:TASK_FINISHED] 'alternate'
[3.000000000000:control-flow:STARTING_TASK] 'source'
[3.000000000000:ASSIGN][3.000000000000] Pushed source_to_fx new value: 7
[3.000000000000:PRINTLN] Source activated
[3.000000000000:control-flow:TASK_FINISHED] 'source'
[3.000000000000:control-flow:STARTING_TASK] 'F1'
[3.000000000000:PRINTLN] function 2 activated
[3.000000000000:ASSIGN][3.000000000000] Pushed fx_to_dest new value: 7
[3.000000000000:control-flow:TASK_FINISHED] 'F1'
[3.000000000000:control-flow:STARTING_TASK] 'dest'
[3.000000000000:PRINTLN] Dest activated
[3.000000000000:control-flow:TASK_FINISHED] 'dest'
EXIT (SUCCESS) AT 3s (3000000000000)

PID	start	end	name	state
0	0	0	alternate	First
1	0	0	source	Main
2	0	0	F1	Main
4	0	0	dest	Main
0	100000000000	100000000000	alternate	Second
1	100000000000	100000000000	source	Main
3	100000000000	100000000000	F2	Main
4	100000000000	100000000000	dest	Main
0	200000000000	200000000000	alternate	First
1	200000000000	200000000000	source	Main
2	200000000000	200000000000	F1	Main
4	200000000000	200000000000	dest	Main
0	300000000000	300000000000	alternate	Second
1	300000000000	300000000000	source	Main
3	300000000000	300000000000	F2	Main
4	300000000000	300000000000	dest	Main
0	400000000000	400000000000	alternate	First
1	400000000000	400000000000	source	Main
2	400000000000	400000000000	F1	Main
4	400000000000	400000000000	dest	Main
0	500000000000	500000000000	alternate	Second
1	500000000000	500000000000	source	Main
3	500000000000	500000000000	F2	Main
4	500000000000	500000000000	dest	Main
0	600000000000	600000000000	alternate	First
1	600000000000	600000000000	source	Main
2	600000000000	600000000000	F1	Main
4	600000000000	600000000000	dest	Main
0	700000000000	700000000000	alternate	Second
1	700000000000	700000000000	source	Main
3	700000000000	700000000000	F2	Main
4	700000000000	700000000000	dest	Main
0	800000000000	800000000000	alternate	First
1	800000000000	800000000000	source	Main
2	800000000000	800000000000	F1	Main
4	800000000000	800000000000	dest	Main
0	900000000000	900000000000	alternate	Second
1	900000000000	900000000000	source	Main
3	900000000000	900000000000	F2	Main
4	900000000000	900000000000	dest	Main
0	1000000000000	1000000000000	alternate	First
1	1000000000000	1000000000000	source	Main
2	1000000000000	1000000000000	F1	Main
4	1000000000000	1000000000000	dest	Main
0	1100000000000	1100000000000	alternate	Second
1	1100000000000	1100000000000	source	Main
3	1100000000000	1100000000000	F2	Main
4	1100000000000	1100000000000	dest	Main
0	1200000000000	1200000000000	alternate	First
1	1200000000000	1200000000000	source	Main
2	1200000000000	1200000000000	F1	Main
4	1200000000000	1200000000000	dest	Main
0	1300000000000	1300000000000	alternate	Second
1	1300000000000	1300000000000	source	Main
3	1300000000000	1300000000000	F2	Main
4	1300000000000	1300000000000	dest	Main
0	1400000000000	1400000000000	alternate	First
1	1400000000000	1400000000000	source	Main
2	1400000000000	1400000000000	F1	Main
4	1400000000000	1400000000000	dest	Main
0	1500000000000	1500000000000	alternate	Second
1	1500000000000	1500000000000	source	Main
3	1500000000000	1500000000000	F2	Main
4	1500000000000	1500000000000	dest	Main
0	1600000000000	1600000000000	alternate	First
1	1600000000000	1600000000000	source	Main
2	1600000000000	1600000000000	F1	Main
4	1600000000000	1600000000000	dest	Main
0	1700000000000	1700000000000	alternate	Second
1	1700000000000	1700000000000	source	Main
3	1700000000000	1700000000000	F2	Main
4	1700000000000	1700000000000	dest	Main
0	1800000000000	1800000000000	alternate	First
1	1800000000000	1800000000000	source	Main
2	1800000000000	1800000000000	F1	Main
4	1800000000000	1800000000000	dest	Main
0	1900000000000	1900000000000	alternate	Second
1	1900000000000	1900000000000	source	Main
3	1900000000000	1900000000000	F2	Main
4	1900000000000	1900000000000	dest	Main
0	2000000000000	2000000000000	alternate	First
1	2000000000000	2000000000000	source	Main
2	2000000000000	2000000000000	F1	Main
4	2000000000000	2000000000000	dest	Main
0	2100000000000	2100000000000	alternate	Second
1	2100000000000	2100000000000	source	Main
3	2100000000000	2100000000000	F2	Main
4	2100000000000	2100000000000	dest	Main
0	2200000000000	2200000000000	alternate	First
1	2200000000000	2200000000000	source	Main
2	2200000000000	2200000000000	F1	Main
4	2200000000000	2200000000000	dest	Main
0	2300000000000	2300000000000	alternate	Second
1	2300000000000	2300000000000	source	Main
3	2300000000000	2300000000000	F2	Main
4	2300000000000	2300000000000	dest	Main
0	2400000000000	2400000000000	alternate	First
1	2400000000000	2400000000000	source	Main
2	2400000000000	2400000000000	F1	Main
4	2400000000000	2400000000000	dest	Main
0	2500000000000	2500000000000	alternate	Second
1	2500000000000	2500000000000	source	Main
3	2500000000000	2500000000000	F2	Main
4	2500000000000	2500000000000	dest	Main
0	2600000000000	2600000000000	alternate	First
1	2600000000000	2600000000000	source	Main
2	2600000000000	2600000000000	F1	Main
4	2600000000000	2600000000000	dest	Main
0	2700000000000	2700000000000	alternate	Second
1	2700000000000	2700000000000	source	Main
3	2700000000000	2700000000000	F2	Main
4	2700000000000	2700000000000	dest	Main
0	2800000000000	2800000000000	alternate	First
1	2800000000000	2800000000000	source	Main
2	2800000000000	2800000000000	F1	Main
4	2800000000000	2800000000000	dest	Main
0	2900000000000	2900000000000	alternate	Second
1	2900000000000	2900000000000	source	Main
3	2900000000000	2900000000000	F2	Main
4	2900000000000	2900000000000	dest	Main
0	3000000000000	3000000000000	alternate	First
1	3000000000000	3000000000000	source	Main
2	3000000000000	3000000000000	F1	Main
4	3000000000000	3000000000000	dest	Main