In: Membrane Computing, pages 153-167. Volume 2933 of Lecture Notes in Computer Science --- Springer-Verlag, January 2004.
Abstract: We study dynamical properties of PB systems, a new computational model of biological processes, and propose a compositional encoding of PB systems into Petri nets. Building on this relation, we show that three properties: boundedness, reachability and cyclicity, which we claim are useful in practice, are all decidable.