  System and synthetic biology are rapidly evolving systems, but both lack
tools such as those used in engineering environments to shift the their focus
from the design of parts (details) to the design of systems (behaviors); to
aggravate, there are insufficient theoretical justifications on the
computational limits of biological systems. To diminish these deficiencies, we
present theoretical results over the Turing-equivalence of metabolic systems,
defines rules for translations of algorithms into metabolic P systems and
presents a software tool to assist the task in an automatic way.
