ePrints

Reaction Systems and Enabling Equivalence

Lookup NU author(s): Professor Henriette Kleijn, Emeritus Professor Maciej KoutnyORCiD, Dr Lukasz Mikulski

Downloads

• Published version [.pdf]

Licence

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).

Abstract

Reaction systems were introduced in order to provide an abstract model for thestudy of the biochemical processes that take place in the living cell.Processes of this kind are the result of the interactionsbetween reactions and may be influenced by the environment.Thus, reaction systems can be considered as a model of (interactive) computation.In previous works, various equivalences defineddirectly on reaction systems and processes had been proposed and compared.These equivalences were all based on functional equivalence that comparesa system's behaviour at every stage of its execution.In this paper, in contrast, we investigate enabling equivalencewhich focuses on the system behaviour only in specificstages of its evolution, namely those where all of its reactions areactive. We discuss the effect of such an approach and, in particular,its relationship to a transition system representation of the system's behaviour.

Publication metadata

Author(s): Kleijn HCM, Koutny M, Mikulski L

Publication type: Article

Publication status: Published

Journal: Fundamenta Informaticae

Year: 2020

Volume: 171

Issue: 1-4

Pages: 261-277

Online publication date: 23/10/2019

Acceptance date: 22/03/2019

Date deposited: 29/03/2019

ISSN (print): 0169-2968

ISSN (electronic): 1875-8681

Publisher: IOS Press

URL: https://doi.org/10.3233/FI-2020-1882

DOI: 10.3233/FI-2020-1882

Altmetrics

Share