Reaction Systems, Transition Systems, and Equivalences

Kleijn, J; Koutny, M; Mikulski, L; Rozenberg, G

doi:10.1007/978-3-319-98355-4_5

Reaction Systems, Transition Systems, and Equivalences

Lookup NU author(s): Professor Maciej Koutny ORCiD, Dr Lukasz Mikulski

Downloads

Accepted version [.pdf]

Licence

This is the authors' accepted manuscript of a book chapter that has been published in its final definitive form by Springer, 2018.

For re-use rights please refer to the publisher's terms and conditions.

Abstract

Reaction systems originated as a formal model for processes inspired by the functioning of the living cell. The underlying idea of this model is that the functioning of the living cell is determined by the interactions of biochemical reactions and these interactions are based on the mechanisms of facilitation and inhibition. Since their inception, reaction systems became a well-investigated novel model of computation. Following this line of research, in this paper we discuss a systematic framework for investigating a whole range of equivalence notions for reaction systems. Some of the equivalences are defined directly on reaction systems while some are defined through transition systems associated with reaction systems. In this way we establish a new bridge between reaction systems and transition systems. In order to define equivalences which capture various ways of interacting with an environment, we also introduce models of the environment which evolve in a finite state fashion.