Counting Time in Computing with Cells [chapter]

Oscar H. Ibarra, Andrei Păun
2006 Lecture Notes in Computer Science  
We consider models of P systems using time either as the output of a computation or as a means of synchronizing the hugely complex processes that take place in a cell. In the first part of the paper, we introduce and study the properties of "timed symport/antiport systems". In the second part we introduce several new features for P systems: the association/deassociation of molecules (modeling for example the protein-protein interactions), ion channel rules and gene activation rules. We show
more » ... such timed systems are universal. We also prove several properties concerning these systems.
doi:10.1007/11753681_9 fatcat:zyiagiunjrbsrbae56gua4332i