/* reward structures */

/* throughput of machine1 */
rewards "throughput_m1"
	[tP1_1]  true : 1;
	[tP1_2]  true : 1;	
endrewards

/*
rewards "throughput_m2"
	[tP2_1]  true : 1;	
	[tP2_2]  true : 1;
endrewards

rewards "throughput_m3"
	[tP3_1]  true : 1;
	[tP3_2]  true : 1;	
endrewards

rewards "throughput_m12"
	[tP12_1]  true : 1;
	[tP12_2]  true : 1;	
endrewards


rewards "productivity"
	[t1]  true : 400;
	[t2]  true : 600;
	[t3]  true : 100;
	[t12] true : 1100;
endrewards
*/