start_section:
	gen1 : random;
	gen2 : random;
	exponential(gen1, 200);
	uniform(gen2, 0, 100);
end section;

election_section:
        return max_to_index(tasks.priority);
end section;


task_activation_section:
        set activation_rule1 10;
        set activation_rule2 2*tasks.capacity;
        set activation_rule3 gen1*20;
        set activation_rule4 gen2;
end section;