Bi-simulation between P colonies and P systems with multi-stable catalysts

E. Csuhaj-Varjú, Sergey Verlan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The general concept, called the formal framework of P systems provides a representation to study and analyze different variants of P systems. In this paper, two well-known models, P colonies and P systems with multi-stable catalysts are considered. We show that the obtained representations are identical, thus both models can be related using a bi-simulation. This fact opens new approaches for studying both P colonies and catalytic P systems.

Original languageEnglish
Title of host publicationMembrane Computing - 18th International Conference, CMC 2017, Revised Selected Papers
PublisherSpringer Verlag
Pages105-117
Number of pages13
ISBN (Print)9783319733586
DOIs
Publication statusPublished - Jan 1 2018
Event18th International Conference on Membrane Computing, CMC 1018 - Bradford, United Kingdom
Duration: Jul 24 2017Jul 28 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10725 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other18th International Conference on Membrane Computing, CMC 1018
CountryUnited Kingdom
CityBradford
Period7/24/177/28/17

    Fingerprint

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Csuhaj-Varjú, E., & Verlan, S. (2018). Bi-simulation between P colonies and P systems with multi-stable catalysts. In Membrane Computing - 18th International Conference, CMC 2017, Revised Selected Papers (pp. 105-117). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10725 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-73359-3_7