P与B：P系统作为布尔网络可控性的形式框架
摘要：膜计算和P系统是由Gheorghe Pu{a}un于1999年引入的一种大规模并行自然计算范式，灵感来自于生物细胞的结构和其生化反应。尽管受到明确的生物学动机的启发，但P系统并没有广泛用于建模现实世界系统。为了证实这个直觉，我们建立了一个现状调查，比较了在这一研究领域中使用P系统和布尔网络的情况。然后，我们提出使用P系统作为建立形式框架以推理其他形式主义的工具，并引入布尔P系统，专门用于捕捉布尔网络的顺序可控性。我们展示了如何解决一些技术挑战，并证明了顺序可控性在布尔P系统的框架中适当嵌入。
作者：Artiom Alhazov (Vladimir Andrunachievici Institute of Mathematics and Computer Science), Rudolf Freund (Faculty of Informatics, TU Wien), Sergiu Ivanov (Universit''e Paris-Saclay, Univ. ''Evry, IBISC)
论文ID：2208.14723
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-09-01