A formal framework for clock-free networks of cells

Abstract

An important direction in the research of P systems is paving the way to modelling real-world biological structures. Clock-free P systems represent an attempt at bringing the P formalism closer to biological origins by eliminating global synchronization, the global clock. The goal of this paper is to provide a formalization of clock-free P systems starting from the formal concept of a network of cells. This approach makes it possible to show that clock-free systems can be simulated with the usual networks of cells.

Keywords:

• clock-free P systems
• networks of cells
• formalization
• simulation
• clock-free semantics

2010 AMS Subject Classifications:

• 68Q05
• 68Q10

Acknowledgements

The author gratefully acknowledges Dr Artiom Alhazov for the remarkably fruitful discussions during the work on 5, without which the author would certainly not have been able to write this paper.