DeepAI AI Chat
Log In Sign Up

Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics

by   Nicolas Behr, et al.
Center for Research and Interdisciplinarity (CRI)

The Kappa biochemistry and the MØD organo-chemistry frameworks are amongst the most intensely developed applications of rewriting theoretical methods in the life sciences to date. A typical feature of these types of rewriting theories is the necessity to implement certain structural constraints on the objects to be rewritten (a protein is empirically found to have a certain signature of sites, a carbon atom can form at most four bonds, ...). In this paper, we contribute to the theoretical foundations of these types of rewriting theory a number of conceptual and technical developments that permit to implement a universal theory of continuous-time Markov chains (CTMCs) for stochastic rewriting systems. Our core mathematical concepts are a novel rule algebra construction for the relevant setting of rewriting rules with conditions, both in Double- and in Sesqui-Pushout semantics, augmented by a suitable stochastic mechanics formalism extension that permits to derive dynamical evolution equations for pattern-counting statistics.


page 1

page 2

page 3

page 4


Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics (Long version)

The Kappa biochemistry and the MØD organic chemistry frameworks are amon...

On Stochastic Rewriting and Combinatorics via Rule-Algebraic Methods

Building upon the rule-algebraic stochastic mechanics framework, we pres...

Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework

Sesqui-pushout (SqPO) rewriting provides a variant of transformations of...

Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems

We develop a novel method to analyze the dynamics of stochastic rewritin...

Commutators for Stochastic Rewriting Systems: Theory and Implementation in Z3

In the semantics of stochastic rewriting systems (SRSs) based on rule al...

A Tutorial on the Spectral Theory of Markov Chains

Markov chains are a class of probabilistic models that have achieved wid...

Adapting a Formal Model Theory to Applications in Augmented Personalized Medicine

The goal of this paper is to advance an extensible theory of living syst...