P versus B: P Systems as a Formal Framework for Controllability of Boolean Networks - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

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

Résumé

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 et versions

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

Identifiants

Citer

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⟩
24 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More