International Workshop on Reaction Systems

4th Edition - Pisa, 18 September 2024

Keynote tutorial and talk – Confirmed talks and program

Ion Petre, University of Turku, FI

Title: Tutorial on Reaction Systems. A set-theoretical modeling framework based on facilitation, inhibition, and interaction with the environment.
Abstract: Reaction systems (RS) is a model of computation inspired by the functioning of the living cell. Its main focus is on reactions and facilitation/inhibition dynamical inter-play between reactions. A reaction is described through its reactants, its inhibitors, and its products. The products of a reaction may introduce inhibitors to another reaction, temporarily blocking its triggering. This leads to a novel way of describing dynamical systems, that allows an explicit trace of WHY a certain property emerges in the system. It is a flexible model of computation that allows both a qualitative, as well as a quantitative view on a system, a set theoretical framework for computation, and the flexibility to model intricate biological behavior.
This tutorial offers a basic introduction to reaction systems, with no prerequisites needed except computational maturity. It introduces the basic notions of reaction systems and reviews a number of research directions motivated by biological considerations. We discuss some of the unique features of reaction systems: its explicit description of inhibition, its approach to competing on resources, its non-permanency philosophy, and the continuous interplay with the environment. We demonstrate the descriptive power of reaction systems through a number of examples, culminating in an RS-based model of the receptor tyrosine kinase signaling network in breast cancer.

Maciej Koutny, University of Newcastle, UK.

Title: Mining Reactions in Reaction Systems with Discrete Concentrations.
Abstract: A fundamental feature of Reaction Systems is that all possible interactions of biochemical reactions are based on the mechanisms of facilitation and inhibition, i.e., the products (entities) of reactions may facilitate or inhibit each other. Another key feature of the Reaction System model of is that it represents the reactions, states, and dynamic processes using (tuples of) finite sets of entities (or molecules), and so it directly captures the qualitative aspects of systems, rather than their quantitative aspects. A situation often encountered in practical applications is that a reaction system with discrete concentrations is only partially specified, e.g., it is not known what the actual concentration of a reactant or inhibitor should be. In such cases, the possibility of an effective automated derivation of the missing details would provide an attractive design approach. To show how such an idea might work, this talk will discuss parametric reaction systems with parameters representing under-specified components of hypothetical reactions. The key development to be covered by the talk is a method for replacing the parameters in such a way that the resulting Reaction System operating in a specified external environment satisfies a given temporal logic formula.