P 与 B：P 系统作为布尔网络可控性的形式化框架
形式语言与自动机理论
2022-09-01 v1
摘要
膜计算与 P 系统是由 Gheorghe Păun 于 1999 年提出的大规模并行自然计算范式，其灵感来源于活细胞的结构及其生化反应。尽管有这种明确的生物学动机，P 系统尚未被广泛用于建模真实世界系统。为证实这一直觉，我们开展了一项现状调研，将 P 系统在该研究路线中的使用与布尔网络的使用进行比较。随后，我们提议将 P 系统用作建立形式化框架以推理其他形式体系的工具，并引入了布尔 P 系统，专门用以刻画布尔网络的顺序可控性。我们展示了如何应对一些技术挑战，并证明顺序可控性恰当地嵌入于布尔 P 系统的框架之中。
引用
@article{arxiv.2208.14723,
title = {P versus B: P Systems as a Formal Framework for Controllability of Boolean Networks},
author = {Artiom Alhazov and Rudolf Freund and Sergiu Ivanov},
journal= {arXiv preprint arXiv:2208.14723},
year = {2022}
}
备注
In Proceedings NCMA 2022, arXiv:2208.13015