P versus B: P Systems as a Formal Framework for Controllability of Boolean Networks - Archive ouverte HAL Access content directly
Conference Papers Year : 2022

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

(1) , (2) , (3)
1
2
3

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.

Dates and versions

hal-03779915 , version 1 (18-09-2022)

Identifiers

Cite

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⟩
7 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More