Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Related Concept Videos

Introduction to Metabolism

Introduction to Metabolism

Metabolism encompasses all biochemical reactions in a living organism, facilitating both the breakdown and synthesis of biomolecules. These metabolic processes are categorized into catabolic and anabolic pathways, which operate in a coordinated manner to ensure energy balance and cellular function.Catabolic Pathways and Energy ReleaseCatabolic pathways involve the breakdown of complex macromolecules such as carbohydrates, lipids, and proteins into smaller structures like monosaccharides, fatty...

Reaction Mechanisms: The Steady-State Approximation

Reaction Mechanisms: The Steady-State Approximation

The steady-state approximation, also referred to as the quasi-steady-state approximation to differentiate it from a true steady state, is a widely used method for simplifying calculations in complex reaction mechanisms. This approach is particularly useful when dealing with multi-step reactions that involve reverse reactions or several steps, which can significantly increase mathematical complexity and make the reactions nearly unsolvable analytically.The steady-state approximation operates on...

Introduction to Chemical Reactions

Introduction to Chemical Reactions

All chemical reactions begin with a reactant, the general term for one or more substances entering the reaction. Sodium and chloride ions, for example, are the reactants in the production of table salt. One or more substances produced by a chemical reaction are called the product. Chemical reactions follow the law of conservation of mass, which means that matter cannot be created nor destroyed in a chemical reaction. The components of the reactants—the number of atoms and the elements—are all...

Reaction Mechanisms: Rate-limiting Step Approximation

Reaction Mechanisms: Rate-limiting Step Approximation

The rate-determining step, or RDS, in a chemical reaction is the slowest step that determines the overall reaction rate. It is identified by using the observed rate law and typically involves approximation methods like the RDS approximation or the steady-state approximation.In the RDS approximation, also known as the rate-limiting-step or equilibrium approximation, the reaction mechanism consists of one or more reversible reactions near equilibrium, followed by a slower RDS, and then one or...

Multi-Step Reactions

Multi-Step Reactions

Chemical reactions often occur in a stepwise fashion involving two or more distinct reactions taking place in a sequence. A balanced equation indicates the reacting species and the product species, but it reveals no details about how the reaction occurs at the molecular level. The reaction mechanism (or reaction path) provides details regarding the precise, step-by-step process by which a reaction occurs. Each of the steps in a reaction mechanism is called an elementary reaction. These...

Coupled Reactions

Coupled Reactions

Cellular processes such as building and breaking down complex molecules occur through stepwise chemical reactions. Some of these chemical reactions are spontaneous and release energy, whereas others require energy to proceed. Cells often couple the energy-releasing reaction with the energy-requiring one to carry out important cell functions.
Energy in adenosine triphosphate or ATP molecules is easily accessible to do work. ATP powers the majority of energy-requiring cellular reactions. Cells...

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by

Same author

Hardware-optimal quantum algorithms.

Proceedings of the National Academy of Sciences of the United States of America·2025

Same author

From non-preemptive to preemptive scheduling using synchronization synthesis.

Formal methods in system design·2017

Same author

Adaptive moment closure for parameter inference of biochemical reaction networks.

Bio Systems·2016

Same author

Quantitative reactive modeling and verification.

Computer science (Berlin, Germany)·2016

Same author

Strategy improvement for concurrent reachability and turn-based stochastic safety games.

Journal of computer and system sciences·2015

Same author

Solving the chemical master equation using sliding windows.

BMC systems biology·2010

Search research articles

Related Experiment Video

Updated: May 20, 2026

A Web Tool for Generating High Quality Machine-readable Biological Pathways

A Web Tool for Generating High Quality Machine-readable Biological Pathways

Published on: February 8, 2017

The propagation approach for computing biochemical reaction networks.

Thomas A Henzinger¹, Maria Mateescu

¹Institute of Science and Technology Austria, ISTAustria, Am Campus 1, 3400 Klosterneuburg, Austria.

IEEE/ACM Transactions on Computational Biology and Bioinformatics

|July 11, 2012

Summary

We introduce propagation models (PMs) and a propagation abstract data type (PADT) for analyzing biochemical reaction networks. This approach offers portable and efficient solutions for transient analysis, balancing accuracy and speed.

More Related Videos

A Multilayer Microfluidic Platform for the Conduction of Prolonged Cell-Free Gene Expression

A Multilayer Microfluidic Platform for the Conduction of Prolonged Cell-Free Gene Expression

Published on: October 6, 2019

High-Throughput Metabolic Profiling for Model Refinements of Microalgae

High-Throughput Metabolic Profiling for Model Refinements of Microalgae

Published on: December 4, 2021

Related Experiment Videos

Last Updated: May 20, 2026

A Web Tool for Generating High Quality Machine-readable Biological Pathways

A Web Tool for Generating High Quality Machine-readable Biological Pathways

Published on: February 8, 2017

A Multilayer Microfluidic Platform for the Conduction of Prolonged Cell-Free Gene Expression

A Multilayer Microfluidic Platform for the Conduction of Prolonged Cell-Free Gene Expression

Published on: October 6, 2019

High-Throughput Metabolic Profiling for Model Refinements of Microalgae

High-Throughput Metabolic Profiling for Model Refinements of Microalgae

Published on: December 4, 2021

Area of Science:

Computational Biology
Biochemical Systems Analysis
Mathematical Modeling

Background:

Biochemical reaction networks are complex systems requiring robust analysis methods.
Existing numerical algorithms for transient analysis often lack portability and efficiency.
Separating algorithmic concerns from implementation is crucial for developing flexible solutions.

Purpose of the Study:

To introduce propagation models (PMs) as a unified formalism for biochemical reaction network equations.
To present the propagation abstract data type (PADT) for modular and efficient transient analysis.
To develop an approximate implementation of the PADT's next operator for improved performance.

Main Methods:

Formalism development for propagation models (PMs).
Introduction of the propagation abstract data type (PADT) with a state vector and next operator.
Approximate implementation of the next operator using threshold abstraction for significant mass propagation.

Main Results:

Propagation models (PMs) can express diverse biochemical equation types.
The PADT enables portable and efficient transient analysis of biochemical networks.
Threshold abstraction in the PADT's next operator provides a balance between computational efficiency and accuracy.

Conclusions:

Propagation models (PMs) and PADT offer a powerful framework for biochemical network simulation.
The proposed methods facilitate the analysis of chemical master equations (CME), reaction rate equations (RRE), and hybrid approaches.
This work advances the development of efficient and accurate computational tools for systems biology.