Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

The Cell Cycle Control System01:28

The Cell Cycle Control System

6.3K
The cell cycle regulation directs how a cell proceeds from one phase to the next and begins mitosis. The cell cycle control system includes intracellular regulatory molecules and external triggers. They provide "stop" or "advance" signals and operate at specific cell cycle stages termed checkpoints to ensure that a particular process is completed before the cell advances to the next phase.
Cyclins and cyclin-dependent kinases (Cdks) are the primary cell cycle regulators and...
6.3K
The Cell Cycle Control System02:11

The Cell Cycle Control System

14.8K
The cell cycle is an organized set of events that leads the cell to divide into two daughter cells, each containing chromosomes identical to the parent cell. It is the cell cycle that leads to the formation of an entire organism from a single-cell zygote. Besides, cell division also functions in the renewal or repair of tissues in adult multicellular eukaryotes. For example, in the bone marrow, the stem cells divide to form new blood cells. Although essential for several functions, cell...
14.8K
Positive Regulator Molecules01:45

Positive Regulator Molecules

137.0K
To consistently produce healthy cells, the cell cycle—the process that generates daughter cells—must be precisely regulated.
137.0K
Positive Regulator Molecules02:39

Positive Regulator Molecules

7.0K
Mitotic cell division results in daughter cells that exactly resemble the parent cell. However, errors in the DNA replication or distribution of genetic material may lead to genetic mutations that may be passed down to every new cell formed from the resulting abnormal cell. Propagation of such mutant cells is restricted through checkpoint mechanisms present at different stages of the cell cycle. These checkpoints involve regulator molecules that either promote or demote cell cycle events.
7.0K
Cells Coordinate Growth and Proliferation02:36

Cells Coordinate Growth and Proliferation

5.2K
Cell size is a significant factor impacting cellular design, function, and fitness. There exists some internal coordination by which cells double their masses before division, thus, achieving homeostasis. Coordination between cell growth and proliferation depends on the checkpoints in between cell cycle phases. Loss of coordination or failure in the checkpoint mechanism can drive the cell to uncontrolled growth and loss of cellular function. Like dividing cells that coordinate cellular growth,...
5.2K
M-Cdk Drives Transition Into Mitosis02:15

M-Cdk Drives Transition Into Mitosis

6.7K
Checkpoints throughout the cell cycle serve as safeguards and gatekeepers, allowing the cell cycle to progress in favorable conditions and slow or halt it in problematic ones. This regulation is known as the cell cycle control system.
Cyclin-dependent kinases, or Cdks, work in concert with cyclins to control cell cycle transitions. M-Cdk, a complex of Cdk1 bound to M cyclin, is a well-known example of this coordinated control that drives the transition from the G2 to the M phase.
M cyclin...
6.7K

You might also read

Related Articles

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

Sort by
Same author

TabularQual: A spreadsheet-based format for annotating and curating logical models in SBML-qual.

bioRxiv : the preprint server for biology·2026
Same author

Targeting Mitochondrial Stress Responses: Terbinafine and Miglustat as Novel Lifespan and Healthspan Modulators.

Aging cell·2026
Same author

Glial-to-mesenchymal transition of tumor Schwann cells drives the genetic burden in MPNSTs from neurofibromatosis type 1 mouse model.

Science advances·2025
Same author

Reproducible Boolean model analyses and simulations with the CoLoMoTo software suite: a tutorial.

Interface focus·2025
Same author

Leveraging the MethMotif Toolkit to Characterize Context-Specific Features and Roles of Methylation Sensitive Transcription Factors.

Current protocols·2025
Same author

Predictive modelling of acute Promyelocytic leukaemia resistance to retinoic acid therapy.

Briefings in bioinformatics·2025

Related Experiment Video

Updated: Mar 15, 2026

Analysis of Cell Cycle Position in Mammalian Cells
12:19

Analysis of Cell Cycle Position in Mammalian Cells

Published on: January 21, 2012

61.5K

Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation.

Pauline Traynard1, Adrien Fauré2, François Fages3

  • 1Computational Systems Biology Team, Institut de Biologie de L'Ecole Normale Supérieure (IBENS), CNRS, Inserm, Ecole Normale Supérieure, PSL Research University, Paris, France EPI Lifeware, Inria Inria Saclay Ile-de-France, Palaiseau, France.

Bioinformatics (Oxford, England)
|September 3, 2016
PubMed
Summary

This study applies model-checking to biological regulatory networks, analyzing the mammalian cell cycle model without kinetic assumptions. The findings reveal key cell cycle dynamics, including irreversible transitions and cyclin activation.

More Related Videos

Studying Cell Cycle-regulated Gene Expression by Two Complementary Cell Synchronization Protocols
12:02

Studying Cell Cycle-regulated Gene Expression by Two Complementary Cell Synchronization Protocols

Published on: June 6, 2017

28.7K
Manipulation and Analysis of Cell Cycle-Dependent Processes in Budding Yeast
08:13

Manipulation and Analysis of Cell Cycle-Dependent Processes in Budding Yeast

Published on: September 26, 2025

664

Related Experiment Videos

Last Updated: Mar 15, 2026

Analysis of Cell Cycle Position in Mammalian Cells
12:19

Analysis of Cell Cycle Position in Mammalian Cells

Published on: January 21, 2012

61.5K
Studying Cell Cycle-regulated Gene Expression by Two Complementary Cell Synchronization Protocols
12:02

Studying Cell Cycle-regulated Gene Expression by Two Complementary Cell Synchronization Protocols

Published on: June 6, 2017

28.7K
Manipulation and Analysis of Cell Cycle-Dependent Processes in Budding Yeast
08:13

Manipulation and Analysis of Cell Cycle-Dependent Processes in Budding Yeast

Published on: September 26, 2025

664

Area of Science:

  • Systems Biology
  • Computational Biology
  • Molecular Systems Biology

Background:

  • Analyzing biological regulatory networks requires formal models integrating molecular information.
  • Model dynamics analysis faces challenges due to combinatorial complexity with increasing components and interactions.

Purpose of the Study:

  • To apply model-checking techniques for verifying dynamical properties of biological networks.
  • To analyze the mammalian cell cycle logical model without kinetic assumptions.

Main Methods:

  • Utilizing model-checking techniques to verify sophisticated dynamical properties.
  • Analyzing a logical model of the mammalian cell cycle molecular network.

Main Results:

  • Demonstrated the power of model-checking for systematic analysis of model properties and limitations.
  • The logical model accurately represents mammalian cell cycle phases, cyclin activation, Skp2 inhibition, and Rb's role.
  • Identified model limitations and assessed potential refinements based on experimental data.

Conclusions:

  • Model-checking offers a robust approach for analyzing complex biological networks.
  • The developed model provides insights into cell cycle regulation and highlights the multifunctional role of Rb.