Related Experiment Video
Updated: May 31, 2026

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline
Published on: December 7, 2021
Analyzing stationary States of gene regulatory network using petri nets
Anna Gambin1, Sławomir Lasota, Michał Rutkowski
1Institute of Informatics, Warsaw University, Banacha 2, 02-097 Warszawa, Poland.
Abstract:
We introduce and formally define the notion of a stationary state for Petri nets. We also propose a fully automatic method for finding such states. The procedure makes use of the Presburger arithmetic to describe all the stationary states. Finally we apply this novel approach to find stationary states of a gene regulatory network describing the flower morphogenesis of A. thaliana. This shows that the proposed method can be successfully applied in the study of biological systems.
Related Concept Videos
Protein Networks
These interactions can be represented through maps depicting protein-protein interaction networks, represented as nodes and edges. Nodes are circles that are representative of a protein,...
Protein Networks
These interactions can be represented through maps depicting protein-protein interaction networks, represented as nodes and edges. Nodes are circles that are representative of a protein,...
Epistasis Analysis
Constitutive and Regulated Gene Expression
Operon Model
Structure of a Gene
However, only 1% of the DNA is composed of genes that encode proteins; the rest, 99% is non-coding DNA. This non-coding DNA performs...
