Skip to Main content Skip to Navigation
Conference papers

P versus B: P Systems as a Formal Framework for Controllability of Boolean Networks

Abstract : Membrane computing and P systems are a paradigm of massively parallel natural computing introduced by Gheorghe Pǎ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.
Complete list of metadata
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Sunday, September 18, 2022 - 4:03:05 PM
Last modification on : Tuesday, September 20, 2022 - 3:30:22 AM

Links full text



Artiom Alhazov, Rudolf Freund, Sergiu Ivanov. P versus B: P Systems as a Formal Framework for Controllability of Boolean Networks. 12th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2022), Aug 2022, Debrecen, Hungary. pp.28--48, ⟨10.4204/EPTCS.367.3⟩. ⟨hal-03779915⟩



Record views