Reachability Analysis in BioAmbients

We rephrase results, previously proved by Busi and Zavattaro on Mobile Ambients, characterizing a fragment of BioAmbients –without restriction and merge– in which a generalized form of reachability turns out to be decidable.