Can I read P versus B: P Systems as a Formal Framework for Controllability of Boolean Networks on EtoBox?

P versus B: P Systems as a Formal Framework for Controllability of Boolean Networks by Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu is a scholarly article available to read on EtoBox.

What is P versus B: P Systems as a Formal Framework for Controllability of Boolean Networks about?

Membrane computing and P systems are a paradigm of massively parallel natural computing introduced by Gheorghe P\u{a}un in 1999, inspired by the structure of the living cell and by its biochemical reactions. In spite of this explicit biological motivation, P systems have not been extensively used in modelling real-world systems. To confirm this intuition, we establish a state of the art investigation comparing the use of P systems to that of Boolean networks in this line of research. We then propose to use P systems as a tool for setting up formal frameworks to reason about other formalisms, and we introduce Boolean P systems, specifically tailored for capturing sequential controllability of Boolean networks. We show how to tackle some technical challenges and prove that sequential controllability properly embeds in the framework of Boolean P systems.

Author

Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu

Published

2022

Language

EN