%% Generalisation of Gilmore et al's ARTS active badge model
%% Presented at UKPEW'03 in Warwick, UK
%% From a paper by Bradley, Dingle, Gilmore and Knottenbelt
%% DNAmaca model generated by ipc from an original .pepa file
%% PEPA parser by Stephen Gilmore, DNAmaca generation by Jeremy Bradley: 2003


\model {
	%% Alter the rate constant(s) below as desired:
	\constant{PEPA_m}{1.0}
	\constant{PEPA_r}{1.0}
	\constant{PEPA_s}{1.0}
	
	
	\statevector {
		\type{short} {
			Person1, Person6, Person5, Person4, Person3, Person2,
			Person1_1, Person6_1, Person5_1, Person4_1, Person3_1, Person2_1,
			Person1_2, Person6_2, Person5_2, Person4_2, Person3_2, Person2_2,
			Sensor1_3, Sensor1_1_3, Sensor2_4, Sensor2_1_4, Sensor3_5, Sensor3_1_5,
			Sensor4_6, Sensor4_1_6, Sensor5_7, Sensor5_1_7, Sensor6_8, Sensor6_1_8,
			Dbase1_9, Dbase6_9, Dbase5_9, Dbase4_9, Dbase3_9, Dbase2_9
		}
	}
	
	\initial {
		Person1	 = 1;
		Person6	 = 0;
		Person5	 = 0;
		Person4	 = 0;
		Person3	 = 0;
		Person2	 = 0;
		Person1_1	 = 1;
		Person6_1	 = 0;
		Person5_1	 = 0;
		Person4_1	 = 0;
		Person3_1	 = 0;
		Person2_1	 = 0;
		Person1_2	 = 1;
		Person6_2	 = 0;
		Person5_2	 = 0;
		Person4_2	 = 0;
		Person3_2	 = 0;
		Person2_2	 = 0;
		Sensor1_3	 = 1;
		Sensor1_1_3	 = 0;
		Sensor2_4	 = 1;
		Sensor2_1_4	 = 0;
		Sensor3_5	 = 1;
		Sensor3_1_5	 = 0;
		Sensor4_6	 = 1;
		Sensor4_1_6	 = 0;
		Sensor5_7	 = 1;
		Sensor5_1_7	 = 0;
		Sensor6_8	 = 1;
		Sensor6_1_8	 = 0;
		Dbase1_9	 = 1;
		Dbase6_9	 = 0;
		Dbase5_9	 = 0;
		Dbase4_9	 = 0;
		Dbase3_9	 = 0;
		Dbase2_9	 = 0;
	}
	
	\transition{Person1_move2} {
		%% PEPA action type { move2 }
		\condition{ Person1 > 0 }
		\action {
			next -> Person1 = Person1 - 1;
			next -> Person2 = Person2 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person2_move1} {
		%% PEPA action type { move1 }
		\condition{ Person2 > 0 }
		\action {
			next -> Person2 = Person2 - 1;
			next -> Person1 = Person1 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person2_move3} {
		%% PEPA action type { move3 }
		\condition{ Person2 > 0 }
		\action {
			next -> Person2 = Person2 - 1;
			next -> Person3 = Person3 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person3_move2} {
		%% PEPA action type { move2 }
		\condition{ Person3 > 0 }
		\action {
			next -> Person3 = Person3 - 1;
			next -> Person2 = Person2 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person3_move4} {
		%% PEPA action type { move4 }
		\condition{ Person3 > 0 }
		\action {
			next -> Person3 = Person3 - 1;
			next -> Person4 = Person4 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person4_move3} {
		%% PEPA action type { move3 }
		\condition{ Person4 > 0 }
		\action {
			next -> Person4 = Person4 - 1;
			next -> Person3 = Person3 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person4_move5} {
		%% PEPA action type { move5 }
		\condition{ Person4 > 0 }
		\action {
			next -> Person4 = Person4 - 1;
			next -> Person5 = Person5 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person5_move4} {
		%% PEPA action type { move4 }
		\condition{ Person5 > 0 }
		\action {
			next -> Person5 = Person5 - 1;
			next -> Person4 = Person4 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person5_move6} {
		%% PEPA action type { move6 }
		\condition{ Person5 > 0 }
		\action {
			next -> Person5 = Person5 - 1;
			next -> Person6 = Person6 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person6_move5} {
		%% PEPA action type { move5 }
		\condition{ Person6 > 0 }
		\action {
			next -> Person6 = Person6 - 1;
			next -> Person5 = Person5 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person1_1_move2} {
		%% PEPA action type { move2 }
		\condition{ Person1_1 > 0 }
		\action {
			next -> Person1_1 = Person1_1 - 1;
			next -> Person2_1 = Person2_1 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person2_1_move1} {
		%% PEPA action type { move1 }
		\condition{ Person2_1 > 0 }
		\action {
			next -> Person2_1 = Person2_1 - 1;
			next -> Person1_1 = Person1_1 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person2_1_move3} {
		%% PEPA action type { move3 }
		\condition{ Person2_1 > 0 }
		\action {
			next -> Person2_1 = Person2_1 - 1;
			next -> Person3_1 = Person3_1 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person3_1_move2} {
		%% PEPA action type { move2 }
		\condition{ Person3_1 > 0 }
		\action {
			next -> Person3_1 = Person3_1 - 1;
			next -> Person2_1 = Person2_1 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person3_1_move4} {
		%% PEPA action type { move4 }
		\condition{ Person3_1 > 0 }
		\action {
			next -> Person3_1 = Person3_1 - 1;
			next -> Person4_1 = Person4_1 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person4_1_move3} {
		%% PEPA action type { move3 }
		\condition{ Person4_1 > 0 }
		\action {
			next -> Person4_1 = Person4_1 - 1;
			next -> Person3_1 = Person3_1 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person4_1_move5} {
		%% PEPA action type { move5 }
		\condition{ Person4_1 > 0 }
		\action {
			next -> Person4_1 = Person4_1 - 1;
			next -> Person5_1 = Person5_1 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person5_1_move4} {
		%% PEPA action type { move4 }
		\condition{ Person5_1 > 0 }
		\action {
			next -> Person5_1 = Person5_1 - 1;
			next -> Person4_1 = Person4_1 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person5_1_move6} {
		%% PEPA action type { move6 }
		\condition{ Person5_1 > 0 }
		\action {
			next -> Person5_1 = Person5_1 - 1;
			next -> Person6_1 = Person6_1 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person6_1_move5} {
		%% PEPA action type { move5 }
		\condition{ Person6_1 > 0 }
		\action {
			next -> Person6_1 = Person6_1 - 1;
			next -> Person5_1 = Person5_1 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person1_2_move2} {
		%% PEPA action type { move2 }
		\condition{ Person1_2 > 0 }
		\action {
			next -> Person1_2 = Person1_2 - 1;
			next -> Person2_2 = Person2_2 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person2_2_move1} {
		%% PEPA action type { move1 }
		\condition{ Person2_2 > 0 }
		\action {
			next -> Person2_2 = Person2_2 - 1;
			next -> Person1_2 = Person1_2 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person2_2_move3} {
		%% PEPA action type { move3 }
		\condition{ Person2_2 > 0 }
		\action {
			next -> Person2_2 = Person2_2 - 1;
			next -> Person3_2 = Person3_2 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person3_2_move2} {
		%% PEPA action type { move2 }
		\condition{ Person3_2 > 0 }
		\action {
			next -> Person3_2 = Person3_2 - 1;
			next -> Person2_2 = Person2_2 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person3_2_move4} {
		%% PEPA action type { move4 }
		\condition{ Person3_2 > 0 }
		\action {
			next -> Person3_2 = Person3_2 - 1;
			next -> Person4_2 = Person4_2 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person4_2_move3} {
		%% PEPA action type { move3 }
		\condition{ Person4_2 > 0 }
		\action {
			next -> Person4_2 = Person4_2 - 1;
			next -> Person3_2 = Person3_2 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person4_2_move5} {
		%% PEPA action type { move5 }
		\condition{ Person4_2 > 0 }
		\action {
			next -> Person4_2 = Person4_2 - 1;
			next -> Person5_2 = Person5_2 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person5_2_move4} {
		%% PEPA action type { move4 }
		\condition{ Person5_2 > 0 }
		\action {
			next -> Person5_2 = Person5_2 - 1;
			next -> Person4_2 = Person4_2 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person5_2_move6} {
		%% PEPA action type { move6 }
		\condition{ Person5_2 > 0 }
		\action {
			next -> Person5_2 = Person5_2 - 1;
			next -> Person6_2 = Person6_2 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person6_2_move5} {
		%% PEPA action type { move5 }
		\condition{ Person6_2 > 0 }
		\action {
			next -> Person6_2 = Person6_2 - 1;
			next -> Person5_2 = Person5_2 + 1;
		}
		\priority{1}
		\rate{ PEPA_m }
	}
	
	\transition{Person1_reg1__Sensor1_3_reg1} {
		%% PEPA action type { reg1 }
		\condition{ Person1 > 0 && Sensor1_3 > 0 }
		\action {
			next -> Sensor1_3 = Sensor1_3 - 1;
			next -> Sensor1_1_3 = Sensor1_1_3 + 1;
		}
		\priority{1}
		\rate{ PEPA_r }
	}
	
	\transition{Person1_1_reg1__Sensor1_3_reg1} {
		%% PEPA action type { reg1 }
		\condition{ Person1_1 > 0 && Sensor1_3 > 0 }
		\action {
			next -> Sensor1_3 = Sensor1_3 - 1;
			next -> Sensor1_1_3 = Sensor1_1_3 + 1;
		}
		\priority{1}
		\rate{ PEPA_r }
	}
	
	\transition{Person1_2_reg1__Sensor1_3_reg1} {
		%% PEPA action type { reg1 }
		\condition{ Person1_2 > 0 && Sensor1_3 > 0 }
		\action {
			next -> Sensor1_3 = Sensor1_3 - 1;
			next -> Sensor1_1_3 = Sensor1_1_3 + 1;
		}
		\priority{1}
		\rate{ PEPA_r }
	}
	
	\transition{Person2_reg2__Sensor2_4_reg2} {
		%% PEPA action type { reg2 }
		\condition{ Person2 > 0 && Sensor2_4 > 0 }
		\action {
			next -> Sensor2_4 = Sensor2_4 - 1;
			next -> Sensor2_1_4 = Sensor2_1_4 + 1;
		}
		\priority{1}
		\rate{ PEPA_r }
	}
	
	\transition{Person2_1_reg2__Sensor2_4_reg2} {
		%% PEPA action type { reg2 }
		\condition{ Person2_1 > 0 && Sensor2_4 > 0 }
		\action {
			next -> Sensor2_4 = Sensor2_4 - 1;
			next -> Sensor2_1_4 = Sensor2_1_4 + 1;
		}
		\priority{1}
		\rate{ PEPA_r }
	}
	
	\transition{Person2_2_reg2__Sensor2_4_reg2} {
		%% PEPA action type { reg2 }
		\condition{ Person2_2 > 0 && Sensor2_4 > 0 }
		\action {
			next -> Sensor2_4 = Sensor2_4 - 1;
			next -> Sensor2_1_4 = Sensor2_1_4 + 1;
		}
		\priority{1}
		\rate{ PEPA_r }
	}
	
	\transition{Person3_reg3__Sensor3_5_reg3} {
		%% PEPA action type { reg3 }
		\condition{ Person3 > 0 && Sensor3_5 > 0 }
		\action {
			next -> Sensor3_5 = Sensor3_5 - 1;
			next -> Sensor3_1_5 = Sensor3_1_5 + 1;
		}
		\priority{1}
		\rate{ PEPA_r }
	}
	
	\transition{Person3_1_reg3__Sensor3_5_reg3} {
		%% PEPA action type { reg3 }
		\condition{ Person3_1 > 0 && Sensor3_5 > 0 }
		\action {
			next -> Sensor3_5 = Sensor3_5 - 1;
			next -> Sensor3_1_5 = Sensor3_1_5 + 1;
		}
		\priority{1}
		\rate{ PEPA_r }
	}
	
	\transition{Person3_2_reg3__Sensor3_5_reg3} {
		%% PEPA action type { reg3 }
		\condition{ Person3_2 > 0 && Sensor3_5 > 0 }
		\action {
			next -> Sensor3_5 = Sensor3_5 - 1;
			next -> Sensor3_1_5 = Sensor3_1_5 + 1;
		}
		\priority{1}
		\rate{ PEPA_r }
	}
	
	\transition{Person4_reg4__Sensor4_6_reg4} {
		%% PEPA action type { reg4 }
		\condition{ Person4 > 0 && Sensor4_6 > 0 }
		\action {
			next -> Sensor4_6 = Sensor4_6 - 1;
			next -> Sensor4_1_6 = Sensor4_1_6 + 1;
		}
		\priority{1}
		\rate{ PEPA_r }
	}
	
	\transition{Person4_1_reg4__Sensor4_6_reg4} {
		%% PEPA action type { reg4 }
		\condition{ Person4_1 > 0 && Sensor4_6 > 0 }
		\action {
			next -> Sensor4_6 = Sensor4_6 - 1;
			next -> Sensor4_1_6 = Sensor4_1_6 + 1;
		}
		\priority{1}
		\rate{ PEPA_r }
	}
	
	\transition{Person4_2_reg4__Sensor4_6_reg4} {
		%% PEPA action type { reg4 }
		\condition{ Person4_2 > 0 && Sensor4_6 > 0 }
		\action {
			next -> Sensor4_6 = Sensor4_6 - 1;
			next -> Sensor4_1_6 = Sensor4_1_6 + 1;
		}
		\priority{1}
		\rate{ PEPA_r }
	}
	
	\transition{Person5_reg5__Sensor5_7_reg5} {
		%% PEPA action type { reg5 }
		\condition{ Person5 > 0 && Sensor5_7 > 0 }
		\action {
			next -> Sensor5_7 = Sensor5_7 - 1;
			next -> Sensor5_1_7 = Sensor5_1_7 + 1;
		}
		\priority{1}
		\rate{ PEPA_r }
	}
	
	\transition{Person5_1_reg5__Sensor5_7_reg5} {
		%% PEPA action type { reg5 }
		\condition{ Person5_1 > 0 && Sensor5_7 > 0 }
		\action {
			next -> Sensor5_7 = Sensor5_7 - 1;
			next -> Sensor5_1_7 = Sensor5_1_7 + 1;
		}
		\priority{1}
		\rate{ PEPA_r }
	}
	
	\transition{Person5_2_reg5__Sensor5_7_reg5} {
		%% PEPA action type { reg5 }
		\condition{ Person5_2 > 0 && Sensor5_7 > 0 }
		\action {
			next -> Sensor5_7 = Sensor5_7 - 1;
			next -> Sensor5_1_7 = Sensor5_1_7 + 1;
		}
		\priority{1}
		\rate{ PEPA_r }
	}
	
	\transition{Person6_reg6__Sensor6_8_reg6} {
		%% PEPA action type { reg6 }
		\condition{ Person6 > 0 && Sensor6_8 > 0 }
		\action {
			next -> Sensor6_8 = Sensor6_8 - 1;
			next -> Sensor6_1_8 = Sensor6_1_8 + 1;
		}
		\priority{1}
		\rate{ PEPA_r }
	}
	
	\transition{Person6_1_reg6__Sensor6_8_reg6} {
		%% PEPA action type { reg6 }
		\condition{ Person6_1 > 0 && Sensor6_8 > 0 }
		\action {
			next -> Sensor6_8 = Sensor6_8 - 1;
			next -> Sensor6_1_8 = Sensor6_1_8 + 1;
		}
		\priority{1}
		\rate{ PEPA_r }
	}
	
	\transition{Person6_2_reg6__Sensor6_8_reg6} {
		%% PEPA action type { reg6 }
		\condition{ Person6_2 > 0 && Sensor6_8 > 0 }
		\action {
			next -> Sensor6_8 = Sensor6_8 - 1;
			next -> Sensor6_1_8 = Sensor6_1_8 + 1;
		}
		\priority{1}
		\rate{ PEPA_r }
	}
	
	\transition{Sensor1_1_3_rep1__Dbase1_9_rep1} {
		%% PEPA action type { rep1 }
		\condition{ Sensor1_1_3 > 0 && Dbase1_9 > 0 }
		\action {
			next -> Sensor1_1_3 = Sensor1_1_3 - 1;
			next -> Sensor1_3 = Sensor1_3 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor1_1_3_rep1__Dbase2_9_rep1} {
		%% PEPA action type { rep1 }
		\condition{ Sensor1_1_3 > 0 && Dbase2_9 > 0 }
		\action {
			next -> Dbase2_9 = Dbase2_9 - 1;
			next -> Dbase1_9 = Dbase1_9 + 1;
			next -> Sensor1_1_3 = Sensor1_1_3 - 1;
			next -> Sensor1_3 = Sensor1_3 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor1_1_3_rep1__Dbase3_9_rep1} {
		%% PEPA action type { rep1 }
		\condition{ Sensor1_1_3 > 0 && Dbase3_9 > 0 }
		\action {
			next -> Dbase3_9 = Dbase3_9 - 1;
			next -> Dbase1_9 = Dbase1_9 + 1;
			next -> Sensor1_1_3 = Sensor1_1_3 - 1;
			next -> Sensor1_3 = Sensor1_3 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor1_1_3_rep1__Dbase4_9_rep1} {
		%% PEPA action type { rep1 }
		\condition{ Sensor1_1_3 > 0 && Dbase4_9 > 0 }
		\action {
			next -> Dbase4_9 = Dbase4_9 - 1;
			next -> Dbase1_9 = Dbase1_9 + 1;
			next -> Sensor1_1_3 = Sensor1_1_3 - 1;
			next -> Sensor1_3 = Sensor1_3 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor1_1_3_rep1__Dbase5_9_rep1} {
		%% PEPA action type { rep1 }
		\condition{ Sensor1_1_3 > 0 && Dbase5_9 > 0 }
		\action {
			next -> Dbase5_9 = Dbase5_9 - 1;
			next -> Dbase1_9 = Dbase1_9 + 1;
			next -> Sensor1_1_3 = Sensor1_1_3 - 1;
			next -> Sensor1_3 = Sensor1_3 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor1_1_3_rep1__Dbase6_9_rep1} {
		%% PEPA action type { rep1 }
		\condition{ Sensor1_1_3 > 0 && Dbase6_9 > 0 }
		\action {
			next -> Dbase6_9 = Dbase6_9 - 1;
			next -> Dbase1_9 = Dbase1_9 + 1;
			next -> Sensor1_1_3 = Sensor1_1_3 - 1;
			next -> Sensor1_3 = Sensor1_3 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor2_1_4_rep2__Dbase1_9_rep2} {
		%% PEPA action type { rep2 }
		\condition{ Sensor2_1_4 > 0 && Dbase1_9 > 0 }
		\action {
			next -> Dbase1_9 = Dbase1_9 - 1;
			next -> Dbase2_9 = Dbase2_9 + 1;
			next -> Sensor2_1_4 = Sensor2_1_4 - 1;
			next -> Sensor2_4 = Sensor2_4 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor2_1_4_rep2__Dbase2_9_rep2} {
		%% PEPA action type { rep2 }
		\condition{ Sensor2_1_4 > 0 && Dbase2_9 > 0 }
		\action {
			next -> Sensor2_1_4 = Sensor2_1_4 - 1;
			next -> Sensor2_4 = Sensor2_4 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor2_1_4_rep2__Dbase3_9_rep2} {
		%% PEPA action type { rep2 }
		\condition{ Sensor2_1_4 > 0 && Dbase3_9 > 0 }
		\action {
			next -> Dbase3_9 = Dbase3_9 - 1;
			next -> Dbase2_9 = Dbase2_9 + 1;
			next -> Sensor2_1_4 = Sensor2_1_4 - 1;
			next -> Sensor2_4 = Sensor2_4 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor2_1_4_rep2__Dbase4_9_rep2} {
		%% PEPA action type { rep2 }
		\condition{ Sensor2_1_4 > 0 && Dbase4_9 > 0 }
		\action {
			next -> Dbase4_9 = Dbase4_9 - 1;
			next -> Dbase2_9 = Dbase2_9 + 1;
			next -> Sensor2_1_4 = Sensor2_1_4 - 1;
			next -> Sensor2_4 = Sensor2_4 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor2_1_4_rep2__Dbase5_9_rep2} {
		%% PEPA action type { rep2 }
		\condition{ Sensor2_1_4 > 0 && Dbase5_9 > 0 }
		\action {
			next -> Dbase5_9 = Dbase5_9 - 1;
			next -> Dbase2_9 = Dbase2_9 + 1;
			next -> Sensor2_1_4 = Sensor2_1_4 - 1;
			next -> Sensor2_4 = Sensor2_4 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor2_1_4_rep2__Dbase6_9_rep2} {
		%% PEPA action type { rep2 }
		\condition{ Sensor2_1_4 > 0 && Dbase6_9 > 0 }
		\action {
			next -> Dbase6_9 = Dbase6_9 - 1;
			next -> Dbase2_9 = Dbase2_9 + 1;
			next -> Sensor2_1_4 = Sensor2_1_4 - 1;
			next -> Sensor2_4 = Sensor2_4 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor3_1_5_rep3__Dbase2_9_rep3} {
		%% PEPA action type { rep3 }
		\condition{ Sensor3_1_5 > 0 && Dbase2_9 > 0 }
		\action {
			next -> Dbase2_9 = Dbase2_9 - 1;
			next -> Dbase3_9 = Dbase3_9 + 1;
			next -> Sensor3_1_5 = Sensor3_1_5 - 1;
			next -> Sensor3_5 = Sensor3_5 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor3_1_5_rep3__Dbase3_9_rep3} {
		%% PEPA action type { rep3 }
		\condition{ Sensor3_1_5 > 0 && Dbase3_9 > 0 }
		\action {
			next -> Sensor3_1_5 = Sensor3_1_5 - 1;
			next -> Sensor3_5 = Sensor3_5 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor3_1_5_rep3__Dbase4_9_rep3} {
		%% PEPA action type { rep3 }
		\condition{ Sensor3_1_5 > 0 && Dbase4_9 > 0 }
		\action {
			next -> Dbase4_9 = Dbase4_9 - 1;
			next -> Dbase3_9 = Dbase3_9 + 1;
			next -> Sensor3_1_5 = Sensor3_1_5 - 1;
			next -> Sensor3_5 = Sensor3_5 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor3_1_5_rep3__Dbase5_9_rep3} {
		%% PEPA action type { rep3 }
		\condition{ Sensor3_1_5 > 0 && Dbase5_9 > 0 }
		\action {
			next -> Dbase5_9 = Dbase5_9 - 1;
			next -> Dbase3_9 = Dbase3_9 + 1;
			next -> Sensor3_1_5 = Sensor3_1_5 - 1;
			next -> Sensor3_5 = Sensor3_5 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor3_1_5_rep3__Dbase6_9_rep3} {
		%% PEPA action type { rep3 }
		\condition{ Sensor3_1_5 > 0 && Dbase6_9 > 0 }
		\action {
			next -> Dbase6_9 = Dbase6_9 - 1;
			next -> Dbase3_9 = Dbase3_9 + 1;
			next -> Sensor3_1_5 = Sensor3_1_5 - 1;
			next -> Sensor3_5 = Sensor3_5 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor3_1_5_rep3__Dbase1_9_rep3} {
		%% PEPA action type { rep3 }
		\condition{ Sensor3_1_5 > 0 && Dbase1_9 > 0 }
		\action {
			next -> Dbase1_9 = Dbase1_9 - 1;
			next -> Dbase3_9 = Dbase3_9 + 1;
			next -> Sensor3_1_5 = Sensor3_1_5 - 1;
			next -> Sensor3_5 = Sensor3_5 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor4_1_6_rep4__Dbase3_9_rep4} {
		%% PEPA action type { rep4 }
		\condition{ Sensor4_1_6 > 0 && Dbase3_9 > 0 }
		\action {
			next -> Dbase3_9 = Dbase3_9 - 1;
			next -> Dbase4_9 = Dbase4_9 + 1;
			next -> Sensor4_1_6 = Sensor4_1_6 - 1;
			next -> Sensor4_6 = Sensor4_6 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor4_1_6_rep4__Dbase4_9_rep4} {
		%% PEPA action type { rep4 }
		\condition{ Sensor4_1_6 > 0 && Dbase4_9 > 0 }
		\action {
			next -> Sensor4_1_6 = Sensor4_1_6 - 1;
			next -> Sensor4_6 = Sensor4_6 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor4_1_6_rep4__Dbase5_9_rep4} {
		%% PEPA action type { rep4 }
		\condition{ Sensor4_1_6 > 0 && Dbase5_9 > 0 }
		\action {
			next -> Dbase5_9 = Dbase5_9 - 1;
			next -> Dbase4_9 = Dbase4_9 + 1;
			next -> Sensor4_1_6 = Sensor4_1_6 - 1;
			next -> Sensor4_6 = Sensor4_6 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor4_1_6_rep4__Dbase6_9_rep4} {
		%% PEPA action type { rep4 }
		\condition{ Sensor4_1_6 > 0 && Dbase6_9 > 0 }
		\action {
			next -> Dbase6_9 = Dbase6_9 - 1;
			next -> Dbase4_9 = Dbase4_9 + 1;
			next -> Sensor4_1_6 = Sensor4_1_6 - 1;
			next -> Sensor4_6 = Sensor4_6 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor4_1_6_rep4__Dbase2_9_rep4} {
		%% PEPA action type { rep4 }
		\condition{ Sensor4_1_6 > 0 && Dbase2_9 > 0 }
		\action {
			next -> Dbase2_9 = Dbase2_9 - 1;
			next -> Dbase4_9 = Dbase4_9 + 1;
			next -> Sensor4_1_6 = Sensor4_1_6 - 1;
			next -> Sensor4_6 = Sensor4_6 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor4_1_6_rep4__Dbase1_9_rep4} {
		%% PEPA action type { rep4 }
		\condition{ Sensor4_1_6 > 0 && Dbase1_9 > 0 }
		\action {
			next -> Dbase1_9 = Dbase1_9 - 1;
			next -> Dbase4_9 = Dbase4_9 + 1;
			next -> Sensor4_1_6 = Sensor4_1_6 - 1;
			next -> Sensor4_6 = Sensor4_6 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor5_1_7_rep5__Dbase4_9_rep5} {
		%% PEPA action type { rep5 }
		\condition{ Sensor5_1_7 > 0 && Dbase4_9 > 0 }
		\action {
			next -> Dbase4_9 = Dbase4_9 - 1;
			next -> Dbase5_9 = Dbase5_9 + 1;
			next -> Sensor5_1_7 = Sensor5_1_7 - 1;
			next -> Sensor5_7 = Sensor5_7 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor5_1_7_rep5__Dbase5_9_rep5} {
		%% PEPA action type { rep5 }
		\condition{ Sensor5_1_7 > 0 && Dbase5_9 > 0 }
		\action {
			next -> Sensor5_1_7 = Sensor5_1_7 - 1;
			next -> Sensor5_7 = Sensor5_7 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor5_1_7_rep5__Dbase6_9_rep5} {
		%% PEPA action type { rep5 }
		\condition{ Sensor5_1_7 > 0 && Dbase6_9 > 0 }
		\action {
			next -> Dbase6_9 = Dbase6_9 - 1;
			next -> Dbase5_9 = Dbase5_9 + 1;
			next -> Sensor5_1_7 = Sensor5_1_7 - 1;
			next -> Sensor5_7 = Sensor5_7 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor5_1_7_rep5__Dbase3_9_rep5} {
		%% PEPA action type { rep5 }
		\condition{ Sensor5_1_7 > 0 && Dbase3_9 > 0 }
		\action {
			next -> Dbase3_9 = Dbase3_9 - 1;
			next -> Dbase5_9 = Dbase5_9 + 1;
			next -> Sensor5_1_7 = Sensor5_1_7 - 1;
			next -> Sensor5_7 = Sensor5_7 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor5_1_7_rep5__Dbase2_9_rep5} {
		%% PEPA action type { rep5 }
		\condition{ Sensor5_1_7 > 0 && Dbase2_9 > 0 }
		\action {
			next -> Dbase2_9 = Dbase2_9 - 1;
			next -> Dbase5_9 = Dbase5_9 + 1;
			next -> Sensor5_1_7 = Sensor5_1_7 - 1;
			next -> Sensor5_7 = Sensor5_7 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor5_1_7_rep5__Dbase1_9_rep5} {
		%% PEPA action type { rep5 }
		\condition{ Sensor5_1_7 > 0 && Dbase1_9 > 0 }
		\action {
			next -> Dbase1_9 = Dbase1_9 - 1;
			next -> Dbase5_9 = Dbase5_9 + 1;
			next -> Sensor5_1_7 = Sensor5_1_7 - 1;
			next -> Sensor5_7 = Sensor5_7 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor6_1_8_rep6__Dbase5_9_rep6} {
		%% PEPA action type { rep6 }
		\condition{ Sensor6_1_8 > 0 && Dbase5_9 > 0 }
		\action {
			next -> Dbase5_9 = Dbase5_9 - 1;
			next -> Dbase6_9 = Dbase6_9 + 1;
			next -> Sensor6_1_8 = Sensor6_1_8 - 1;
			next -> Sensor6_8 = Sensor6_8 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor6_1_8_rep6__Dbase6_9_rep6} {
		%% PEPA action type { rep6 }
		\condition{ Sensor6_1_8 > 0 && Dbase6_9 > 0 }
		\action {
			next -> Sensor6_1_8 = Sensor6_1_8 - 1;
			next -> Sensor6_8 = Sensor6_8 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor6_1_8_rep6__Dbase4_9_rep6} {
		%% PEPA action type { rep6 }
		\condition{ Sensor6_1_8 > 0 && Dbase4_9 > 0 }
		\action {
			next -> Dbase4_9 = Dbase4_9 - 1;
			next -> Dbase6_9 = Dbase6_9 + 1;
			next -> Sensor6_1_8 = Sensor6_1_8 - 1;
			next -> Sensor6_8 = Sensor6_8 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor6_1_8_rep6__Dbase3_9_rep6} {
		%% PEPA action type { rep6 }
		\condition{ Sensor6_1_8 > 0 && Dbase3_9 > 0 }
		\action {
			next -> Dbase3_9 = Dbase3_9 - 1;
			next -> Dbase6_9 = Dbase6_9 + 1;
			next -> Sensor6_1_8 = Sensor6_1_8 - 1;
			next -> Sensor6_8 = Sensor6_8 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor6_1_8_rep6__Dbase2_9_rep6} {
		%% PEPA action type { rep6 }
		\condition{ Sensor6_1_8 > 0 && Dbase2_9 > 0 }
		\action {
			next -> Dbase2_9 = Dbase2_9 - 1;
			next -> Dbase6_9 = Dbase6_9 + 1;
			next -> Sensor6_1_8 = Sensor6_1_8 - 1;
			next -> Sensor6_8 = Sensor6_8 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
	\transition{Sensor6_1_8_rep6__Dbase1_9_rep6} {
		%% PEPA action type { rep6 }
		\condition{ Sensor6_1_8 > 0 && Dbase1_9 > 0 }
		\action {
			next -> Dbase1_9 = Dbase1_9 - 1;
			next -> Dbase6_9 = Dbase6_9 + 1;
			next -> Sensor6_1_8 = Sensor6_1_8 - 1;
			next -> Sensor6_8 = Sensor6_8 + 1;
		}
		\priority{1}
		\rate{ PEPA_s }
	}
	
}

\solution{
  \method{sor}
}

\passage{ 
  \sourcecondition{ (Person1 == 1) && (Person1_1 == 1) && (Person1_2 == 1) }
  \targetcondition{ (Person6 == 1) || (Person6_1 == 1) || (Person6_2 == 1) }

  \t_start{0.5}
  \t_stop{150.0}
  \t_step{5.0}
}