Biochemical Space Language in Relation to Multiset Rewriting Systems

by   Matej Troják, et al.

This technical report relates Biochemical Space Language (BCSL) to Multiset rewriting systems (MRS). For a BCSL model, the semantics are defined in terms of transition systems, while for an MRS, they are defined in terms of a set of runs. In this report, we relate BCSL to MRS by first showing how the transition system is related to a set of runs and consequently showing how for every BCSL model, an MRS can be constructed such that both represent the same set of runs. The motivation of this step is to establish BCSL in the context of a more general rewriting system and benefit from properties shown for them. Finally, we show that regulations defined for MRS can be consequently used in the BCSL model.




Justness: A Completeness Criterion for Capturing Liveness Properties

This paper poses that transition systems constitute a good model of dist...

Injective envelopes of transition systems and Ferrers languages

We consider reflexive and involutive transition systems over an ordered ...

A Probabilistic Extension of Action Language BC+

We present a probabilistic extension of action language BC+. Just like B...

Opacity of nondeterministic transition systems: A (bi)simulation relation approach

In this paper, we propose several opacity-preserving (bi)simulation rela...

Aquarium Technical Report Preprint

In this technical report, we present the core calculi for two of the dom...

SOS Rules for Equivalences of Reaction Systems

Reaction Systems (RSs) are a successful computational framework inspired...

A Behavioural Theory for Interactions in Collective-Adaptive Systems

We propose a process calculus, named AbC, to study the behavioural theor...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.