On the Reachability Problem for P systems with Porters.