PV1 ⊧ SeQuaiAhandles and analyses chemical reaction networks

Tool to analyse CRNs (Chemical Reaction Networks)

Application domain/field

• Chemical reaction networks (CRNs)
• Biochemical systems
• Continuous-time stochastic systems
• Semi-qualitative analysis

Expected input

• Chemical reaction network (CRN): consists of a set of chemical reactions of given species, each running at a certain rate.
• Optional: if doing a semi-quantitative analysis of the system, the user needs to provide the following
• For each species, a list of increasing population thresholds and a population bound

Format:

Input via the GUI

Expected output

Depends on what the tool is used for (see "Internals").

Internals

SeQuaiA supports several different analyses:

• It can be used to edit a CRN
• It can be used to analyze the system using a semi-quantitative analysis on an abstraction of the Markov chain of the CRN
• It can be used to generate concrete runs using simulation. These display average-case behaviour, also called mean simulations.