Computation with cells enhanced by costs

Membrane systems reveal certain computing aspects of the living cells, representing also a formal model of the cell structure and activity. We introduce membrane systems with costs by assigning both storage costs to membranes and execution costs to their rules. A variant of Maude (namely Priced-Timed Maude) is used to implement these models of the cells enhanced by costs. We can simulate and analyze the evolution of cells enhanced with costs, and verify their properties by using proper tools of the complex software platform Maude.