A Boolean network of the crosstalk between IGF and Wnt signaling in aging satellite cells

Polycystin-2-dependent transcriptome reveals early response of autosomal dominant polycystic kidney disease

Autosomal dominant polycystic kidney disease (ADPKD) is caused by mutations in polycystin genes, Pkd1 and Pkd2, but the underlying pathogenic mechanisms are poorly understood. To identify genes and pathways that operate downstream of polycystin-2 (PC2), a comprehensive gene expression database was created, cataloging changes in the transcriptome immediately following PC2 protein depletion. To explore cyst initiation processes, an immortalized mouse inner medullary collecting duct line was developed with the ability to knock out the Pkd2 gene conditionally. Genome-wide transcriptome profiling was performed using RNA sequencing in the cells immediately after PC2 was depleted and compared with isogenic control cells. Differentially expressed genes were identified, and a bioinformatic analysis pipeline was implemented. Altered expression of candidate cystogenic genes was validated in Pkd2 knockout mice. The expression of nearly 900 genes changed upon PC2 depletion. Differentially expressed genes were enriched for genes encoding components of the primary cilia, the canonical Wnt pathway, and MAPK signaling. Among the PC2-dependent ciliary genes, the transcription factor Glis3 was significantly downregulated. MAPK signaling formed a key node at the epicenter of PC2-dependent signaling networks. Activation of Wnt and MAPK signaling, concomitant with the downregulation of Glis3, was corroborated in Pkd2 knockout mice. The data identify a PC2 cilia-to-nucleus signaling axis and dysregulation of the Gli-similar subfamily of transcription factors as a potential initiator of cyst formation in ADPKD. The catalog of PC2-regulated genes should provide a valuable resource for future ADPKD research and new opportunities for drug development.NEW & NOTEWORTHY Autosomal dominant polycystic kidney disease (ADPKD) is the most common inherited kidney disease. Mutations in polycystin genes cause the disease, but the underlying mechanisms of cystogenesis are unknown. To help fill this knowledge gap, we created an inducible cell model of ADPKD and assembled a catalog of genes that respond in immediate proximity to polycystin-2 depletion using transcriptomic profiling. The catalog unveils a ciliary signaling-to-nucleus axis proximal to polycystin-2 dysfunction, highlighting Glis, Wnt, and MAPK signaling.

A systems biology approach to define mechanisms, phenotypes, and drivers in PanNETs with a personalized perspective

Pancreatic neuroendocrine tumors (PanNETs) are a rare tumor entity with largely unpredictable progression and increasing incidence in developed countries. Molecular pathways involved in PanNETs development are still not elucidated, and specific biomarkers are missing. Moreover, the heterogeneity of PanNETs makes their treatment challenging and most approved targeted therapeutic options for PanNETs lack objective responses. Here, we applied a systems biology approach integrating dynamic modeling strategies, foreign classifier tailored approaches, and patient expression profiles to predict PanNETs progression as well as resistance mechanisms to clinically approved treatments such as the mammalian target of rapamycin complex 1 (mTORC1) inhibitors. We set up a model able to represent frequently reported PanNETs drivers in patient cohorts, such as Menin-1 (MEN1), Death domain associated protein (DAXX), Tuberous Sclerosis (TSC), as well as wild-type tumors. Model-based simulations suggested drivers of cancer progression as both first and second hits after MEN1 loss. In addition, we could predict the benefit of mTORC1 inhibitors on differentially mutated cohorts and hypothesize resistance mechanisms. Our approach sheds light on a more personalized prediction and treatment of PanNET mutant phenotypes.

Applications of Boolean modeling to study the dynamics of a complex disease and therapeutics responses

Computational modeling has emerged as a critical tool in investigating the complex molecular processes involved in biological systems and diseases. In this study, we apply Boolean modeling to uncover the molecular mechanisms underlying Parkinson's disease (PD), one of the most prevalent neurodegenerative disorders. Our approach is based on the PD-map, a comprehensive molecular interaction diagram that captures the key mechanisms involved in the initiation and progression of PD. Using Boolean modeling, we aim to gain a deeper understanding of the disease dynamics, identify potential drug targets, and simulate the response to treatments. Our analysis demonstrates the effectiveness of this approach in uncovering the intricacies of PD. Our results confirm existing knowledge about the disease and provide valuable insights into the underlying mechanisms, ultimately suggesting potential targets for therapeutic intervention. Moreover, our approach allows us to parametrize the models based on omics data for further disease stratification. Our study highlights the value of computational modeling in advancing our understanding of complex biological systems and diseases, emphasizing the importance of continued research in this field. Furthermore, our findings have potential implications for the development of novel therapies for PD, which is a pressing public health concern. Overall, this study represents a significant step forward in the application of computational modeling to the investigation of neurodegenerative diseases, and underscores the power of interdisciplinary approaches in tackling challenging biomedical problems.

A multiscale mechanistic model of human dendritic cells for in-silico investigation of immune responses and novel therapeutics discovery

Dendritic cells (DCs) are professional antigen-presenting cells (APCs) with the unique ability to mediate inflammatory responses of the immune system. Given the critical role of DCs in shaping immunity, they present an attractive avenue as a therapeutic target to program the immune system and reverse immune disease disorders. To ensure appropriate immune response, DCs utilize intricate and complex molecular and cellular interactions that converge into a seamless phenotype. Computational models open novel frontiers in research by integrating large-scale interaction to interrogate the influence of complex biological behavior across scales. The ability to model large biological networks will likely pave the way to understanding any complex system in more approachable ways. We developed a logical and predictive model of DC function that integrates the heterogeneity of DCs population, APC function, and cell-cell interaction, spanning molecular to population levels. Our logical model consists of 281 components that connect environmental stimuli with various layers of the cell compartments, including the plasma membrane, cytoplasm, and nucleus to represent the dynamic processes within and outside the DC, such as signaling pathways and cell-cell interactions. We also provided three sample use cases to apply the model in the context of studying cell dynamics and disease environments. First, we characterized the DC response to Sars-CoV-2 and influenza co-infection by in-silico experiments and analyzed the activity level of 107 molecules that play a role in this co-infection. The second example presents simulations to predict the crosstalk between DCs and T cells in a cancer microenvironment. Finally, for the third example, we used the Kyoto Encyclopedia of Genes and Genomes enrichment analysis against the model's components to identify 45 diseases and 24 molecular pathways that the DC model can address. This study presents a resource to decode the complex dynamics underlying DC-derived APC communication and provides a platform for researchers to perform in-silico experiments on human DC for vaccine design, drug discovery, and immunotherapies.

Cyclic attractors of nonexpanding q-ary networks

Discrete dynamical systems in which model components take on categorical values have been successfully applied to biological networks to study their global dynamic behavior. Boolean models in particular have been used extensively. However, multi-state models have also emerged as effective computational tools for the analysis of complex mechanisms underlying biological networks. Models in which variables assume more than two discrete states provide greater resolution, but this scheme introduces discontinuities. In particular, variables can increase or decrease by more than one unit in one time step. This can be corrected, without changing fixed points of the system, by applying an additional rule to each local activation function. On the other hand, if one is interested in cyclic attractors of their system, then this rule can potentially introduce new cyclic attractors that were not observed previously. This article makes some advancements in understanding the state space dynamics of multi-state network models with synchronous, sequential, or block-sequential update schedules and establishes conditions under which no new cyclic attractors are added to networks when the additional rule is applied. Our analytical results have the potential to be incorporated into modeling software and aid researchers in their analyses of biological multi-state networks.

CANTATA - prediction of missing links in Boolean networks using genetic programming

Motivation

Biological processes are complex systems with distinct behaviour. Despite the growing amount of available data, knowledge is sparse and often insufficient to investigate the complex regulatory behaviour of these systems. Moreover, different cellular phenotypes are possible under varying conditions. Mathematical models attempt to unravel these mechanisms by investigating the dynamics of regulatory networks. Therefore, a major challenge is to combine regulations and phenotypical information as well as the underlying mechanisms. To predict regulatory links in these models, we established an approach called CANTATA to support the integration of information into regulatory networks and retrieve potential underlying regulations. This is achieved by optimizing both static and dynamic properties of these networks.

Results

Initial results show that the algorithm predicts missing interactions by recapitulating the known phenotypes while preserving the original topology and optimizing the robustness of the model. The resulting models allow for hypothesizing about the biological impact of certain regulatory dependencies.

Availability and implementation

Source code of the application, example files and results are available at https://github.com/sysbio-bioinf/Cantata.

Supplementary information

Supplementary data are available at Bioinformatics online.

Identification of dynamic driver sets controlling phenotypical landscapes

Controlling phenotypical landscapes is of vital interest to modern biology. This task becomes highly demanding because cellular decisions involve complex networks engaging in crosstalk interactions. Previous work on control theory indicates that small sets of compounds can control single phenotypes. However, a dynamic approach is missing to determine the drivers of the whole network dynamics. By analyzing 35 biologically motivated Boolean networks, we developed a method to identify small sets of compounds sufficient to decide on the entire phenotypical landscape. These compounds do not strictly prefer highly related compounds and show a smaller impact on the stability of the attractor landscape. The dynamic driver sets include many intervention targets and cellular reprogramming drivers in human networks. Finally, by using a new comprehensive model of colorectal cancer, we provide a complete workflow on how to implement our approach to shift from in silico to in vitro guided experiments.

Discrete Logic Modeling of Cell Signaling Pathways

Cell signaling pathways often crosstalk generating complex biological behaviors observed in different cellular contexts. Frequently, laboratory experiments focus on a few putative regulators, alone unable to predict the molecular mechanisms behind the observed phenotypes. Here, systems biology complements these approaches by giving a holistic picture to complex signaling crosstalk. In particular, Boolean network models are a meaningful tool to study large network behaviors and can cope with incomplete kinetic information. By introducing a model describing pathways involved in hematopoietic stem cell maintenance, we present a general approach on how to model cell signaling pathways with Boolean network models.

Boolean modelling as a logic-based dynamic approach in systems medicine

Molecular mechanisms of health and disease are often represented as systems biology diagrams, and the coverage of such representation constantly increases. These static diagrams can be transformed into dynamic models, allowing for in silico simulations and predictions. Boolean modelling is an approach based on an abstract representation of the system. It emphasises the qualitative modelling of biological systems in which each biomolecule can take two possible values: zero for absent or inactive, one for present or active. Because of this approximation, Boolean modelling is applicable to large diagrams, allowing to capture their dynamic properties. We review Boolean models of disease mechanisms and compare a range of methods and tools used for analysis processes. We explain the methodology of Boolean analysis focusing on its application in disease modelling. Finally, we discuss its practical application in analysing signal transduction and gene regulatory pathways in health and disease.

Data-Driven Modeling of Breast Cancer Tumors Using Boolean Networks

Cancer is a genomic disease involving various intertwined pathways with complex cross-communication links. Conceptually, this complex interconnected system forms a network, which allows one to model the dynamic behavior of the elements that characterize it to describe the entire system’s development in its various evolutionary stages of carcinogenesis. Knowing the activation or inhibition status of the genes that make up the network during its temporal evolution is necessary for the rational intervention on the critical factors for controlling the system’s dynamic evolution. In this report, we proposed a methodology for building data-driven boolean networks that model breast cancer tumors. We defined the network components and topology based on gene expression data from RNA-seq of breast cancer cell lines. We used a Boolean logic formalism to describe the network dynamics. The combination of single-cell RNA-seq and interactome data enabled us to study the dynamics of malignant subnetworks of up-regulated genes. First, we used the same Boolean function construction scheme for each network node, based on canalyzing functions. Using single-cell breast cancer datasets from The Cancer Genome Atlas, we applied a binarization algorithm. The binarized version of scRNA-seq data allowed identifying attractors specific to patients and critical genes related to each breast cancer subtype. The model proposed in this report may serve as a basis for a methodology to detect critical genes involved in malignant attractor stability, whose inhibition could have potential applications in cancer theranostics.

Reconstructing Boolean network ensembles from single-cell data for unraveling dynamics in the aging of human hematopoietic stem cells

Regulatory dependencies in molecular networks are the basis of dynamic behaviors affecting the phenotypical landscape. With the advance of high throughput technologies, the detail of omics data has arrived at the single-cell level. Nevertheless, new strategies are required to reconstruct regulatory networks based on populations of single-cell data. Here, we present a new approach to generate populations of gene regulatory networks from single-cell RNA-sequencing (scRNA-seq) data. Our approach exploits the heterogeneity of single-cell populations to generate pseudo-timepoints. This allows for the first time to uncouple network reconstruction from a direct dependency on time series measurements. The generated time series are then fed to a combined reconstruction algorithm. The latter allows a fast and efficient reconstruction of ensembles of gene regulatory networks. Since this approach does not require knowledge on time-related trajectories, it allows us to model heterogeneous processes such as aging. Applying the approach to the aging-associated NF-κB signaling pathway-based scRNA-seq data of human hematopoietic stem cells (HSCs), we were able to reconstruct eight ensembles, and evaluate their dynamic behavior. Moreover, we propose a strategy to evaluate the resulting attractor patterns. Interaction graph-based features and dynamic investigations of our model ensembles provide a new perspective on the heterogeneity and mechanisms related to human HSCs aging.

Relating simulation studies by provenance-Developing a family of Wnt signaling models

For many biological systems, a variety of simulation models exist. A new simulation model is rarely developed from scratch, but rather revises and extends an existing one. A key challenge, however, is to decide which model might be an appropriate starting point for a particular problem and why. To answer this question, we need to identify entities and activities that contributed to the development of a simulation model. Therefore, we exploit the provenance data model, PROV-DM, of the World Wide Web Consortium and, building on previous work, continue developing a PROV ontology for simulation studies. Based on a case study of 19 Wnt/β-catenin signaling models, we identify crucial entities and activities as well as useful metadata to both capture the provenance information from individual simulation studies and relate these forming a family of models. The approach is implemented in WebProv, a web application for inserting and querying provenance information. Our specialization of PROV-DM contains the entities Research Question, Assumption, Requirement, Qualitative Model, Simulation Model, Simulation Experiment, Simulation Data, and Wet-lab Data as well as activities referring to building, calibrating, validating, and analyzing a simulation model. We show that most Wnt simulation models are connected to other Wnt models by using (parts of) these models. However, the overlap, especially regarding the Wet-lab Data used for calibration or validation of the models is small. Making these aspects of developing a model explicit and queryable is an important step for assessing and reusing simulation models more effectively. Exposing this information helps to integrate a new simulation model within a family of existing ones and may lead to the development of more robust and valid simulation models. We hope that our approach becomes part of a standardization effort and that modelers adopt the benefits of provenance when considering or creating simulation models.

We revise a provenance ontology for simulation studies of cellular biochemical models. Provenance information is useful for understanding the creation of a simulation model because it not only contains information about the entities and activities that have led to a simulation model but also their relations, all of which can be visualized. It provides additional structure by explicitly recording research questions, assumptions, and requirements and relating them along with data, qualitative models, simulation models, and simulation experiments through a small set of predefined but extensible activities.

We have applied our concept to a family of 19 Wnt signaling models and implemented a web-based tool (WebProv) to store the provenance information from these studies. The resulting provenance graph visualizes the story line of simulation studies and demonstrates the creation and calibration of simulation models, the successive attempts of validation and extension, and shows, beyond an individual simulation study, how the Wnt models are related. Thereby, the steps and sources that contributed to a simulation model are made explicit.

Our approach complements other approaches aimed at facilitating the reuse and assessment of simulation products in systems biology such as model repositories as well as annotation and documentation guidelines.

Capturing dynamic relevance in Boolean networks using graph theoretical measures

Motivation

Interaction graphs are able to describe regulatory dependencies between compounds without capturing dynamics. In contrast, mathematical models that are based on interaction graphs allow to investigate the dynamics of biological systems. However, since dynamic complexity of these models grows exponentially with their size, exhaustive analyses of the dynamics and consequently screening all possible interventions eventually becomes infeasible. Thus, we designed an approach to identify dynamically relevant compounds based on the static network topology.

Results

Here, we present a method only based on static properties to identify dynamically influencing nodes. Coupling vertex betweenness and determinative power, we could capture relevant nodes for changing dynamics with an accuracy of 75% in a set of 35 published logical models. Further analyses of the selected compounds’ connectivity unravelled a new class of not highly connected nodes with high impact on the networks’ dynamics, which we call gatekeepers. We validated our method’s working concept on logical models, which can be readily scaled up to complex interaction networks, where dynamic analyses are not even feasible.

Availability and implementation

Code is freely available at https://github.com/sysbio-bioinf/BNStatic.

Supplementary information

Supplementary data are available at Bioinformatics online.

A novel yeast hybrid modeling framework integrating Boolean and enzyme-constrained networks enables exploration of the interplay between signaling and metabolism

The interplay between nutrient-induced signaling and metabolism plays an important role in maintaining homeostasis and its malfunction has been implicated in many different human diseases such as obesity, type 2 diabetes, cancer, and neurological disorders. Therefore, unraveling the role of nutrients as signaling molecules and metabolites together with their interconnectivity may provide a deeper understanding of how these conditions occur. Both signaling and metabolism have been extensively studied using various systems biology approaches. However, they are mainly studied individually and in addition, current models lack both the complexity of the dynamics and the effects of the crosstalk in the signaling system. To gain a better understanding of the interconnectivity between nutrient signaling and metabolism in yeast cells, we developed a hybrid model, combining a Boolean module, describing the main pathways of glucose and nitrogen signaling, and an enzyme-constrained model accounting for the central carbon metabolism of Saccharomyces cerevisiae, using a regulatory network as a link. The resulting hybrid model was able to capture a diverse utalization of isoenzymes and to our knowledge outperforms constraint-based models in the prediction of individual enzymes for both respiratory and mixed metabolism. The model showed that during fermentation, enzyme utilization has a major contribution in governing protein allocation, while in low glucose conditions robustness and control are prioritized. In addition, the model was capable of reproducing the regulatory effects that are associated with the Crabtree effect and glucose repression, as well as regulatory effects associated with lifespan increase during caloric restriction. Overall, we show that our hybrid model provides a comprehensive framework for the study of the non-trivial effects of the interplay between signaling and metabolism, suggesting connections between the Snf1 signaling pathways and processes that have been related to chronological lifespan of yeast cells.

Unraveling the Molecular Tumor-Promoting Regulation of Cofilin-1 in Pancreatic Cancer

Simple Summary

Unraveling the mechanistic regulations that influence tumor behavior is an important step towards treatment. However, in vitro studies capture only small parts of the complex signaling cascades leading to tumor development. Mechanistic modeling, instead, allows a more holistic view of complex signaling pathways and their crosstalk. These models are able to suggest mechanistic regulations that can be validated by targeted and thus more cost-effective experiments. This article presents a logical model of pancreatic cancer cells with high cofilin-1 expression. The model includes migratory, proliferative, and apoptotic pathways as well as their crosstalk. Based on this model, mechanistic regulations affecting tumor promotion could be unraveled. Moreover, it was applied to screen for new therapeutic targets. The development of resistance mechanisms is a common limitation of cancer therapies. Therefore, new approaches are needed to identify optimal treatments. One is suggested in this article, indicating the surface protein CD44 as a promising target.

Abstract

Cofilin-1 (CFL1) overexpression in pancreatic cancer correlates with high invasiveness and shorter survival. Besides a well-documented role in actin remodeling, additional cellular functions of CFL1 remain poorly understood. Here, we unraveled molecular tumor-promoting functions of CFL1 in pancreatic cancer. For this purpose, we first show that a knockdown of CFL1 results in reduced growth and proliferation rates in vitro and in vivo, while apoptosis is not induced. By mechanistic modeling we were able to predict the underlying regulation. Model simulations indicate that an imbalance in actin remodeling induces overexpression and activation of CFL1 by acting on transcription factor 7-like 2 (TCF7L2) and aurora kinase A (AURKA). Moreover, we could predict that CFL1 impacts proliferation and apoptosis via the signal transducer and activator of transcription 3 (STAT3). These initial model-based regulations could be substantiated by studying protein levels in pancreatic cancer cell lines and human datasets. Finally, we identified the surface protein CD44 as a promising therapeutic target for pancreatic cancer patients with high CFL1 expression.

Integrating Patient-Specific Information into Logic Models of Complex Diseases: Application to Acute Myeloid Leukemia

High throughput technologies such as deep sequencing and proteomics are increasingly becoming mainstream in clinical practice and support diagnosis and patient stratification. Developing computational models that recapitulate cell physiology and its perturbations in disease is a required step to help with the interpretation of results of high content experiments and to devise personalized treatments. As complete cell-models are difficult to achieve, given limited experimental information and insurmountable computational problems, approximate approaches should be considered. We present here a general approach to modeling complex diseases by embedding patient-specific genomics data into actionable logic models that take into account prior knowledge. We apply the strategy to acute myeloid leukemia (AML) and assemble a network of logical relationships linking most of the genes that are found frequently mutated in AML patients. We derive Boolean models from this network and we show that by priming the model with genomic data we can infer relevant patient-specific clinical features. Here we propose that the integration of literature-derived causal networks with patient-specific data should be explored to help bedside decisions.

Control for multifunctionality: bioinspired control based on feeding in Aplysia californica

Animals exhibit remarkable feats of behavioral flexibility and multifunctional control that remain challenging for robotic systems. The neural and morphological basis of multifunctionality in animals can provide a source of bioinspiration for robotic controllers. However, many existing approaches to modeling biological neural networks rely on computationally expensive models and tend to focus solely on the nervous system, often neglecting the biomechanics of the periphery. As a consequence, while these models are excellent tools for neuroscience, they fail to predict functional behavior in real time, which is a critical capability for robotic control. To meet the need for real-time multifunctional control, we have developed a hybrid Boolean model framework capable of modeling neural bursting activity and simple biomechanics at speeds faster than real time. Using this approach, we present a multifunctional model of Aplysia californica feeding that qualitatively reproduces three key feeding behaviors (biting, swallowing, and rejection), demonstrates behavioral switching in response to external sensory cues, and incorporates both known neural connectivity and a simple bioinspired mechanical model of the feeding apparatus. We demonstrate that the model can be used for formulating testable hypotheses and discuss the implications of this approach for robotic control and neuroscience.

Awakening the HSC: Dynamic Modeling of HSC Maintenance Unravels Regulation of the TP53 Pathway and Quiescence

Hematopoietic stem cells (HSCs) provide all types of blood cells during the entire life of the organism. HSCs are mainly quiescent and can eventually enter the cell cycle to differentiate. HSCs are maintained and tightly regulated in a particular environment. The stem cell niche regulates dormancy and awakening. Deregulations of this interplay can lead to hematopoietic failure and diseases. In this paper, we present a Boolean network model that recapitulates HSC regulation in virtue of external signals coming from the niche. This Boolean network integrates and summarizes the current knowledge of HSC regulation and is based on extensive literature research. Furthermore, dynamic simulations suggest a novel systemic regulation of TP53 in homeostasis. Thereby, our model indicates that TP53 activity is balanced depending on external stimulations, engaging a regulatory mechanism involving ROS regulators and RAS activated transcription factors. Finally, we investigated different mouse models and compared them to in silico knockout simulations. Here, the model could recapitulate in vivo observed behaviors and thus sustains our results.

The interaction of Wnt signaling members with growth factors in cultured granulosa cells

Wnt family members have recently been distinguished in the adult ovary with potential roles in ovarian function. Though particular growth factors interact with Wnt signaling members in extraovarian cell types, it is unclear whether this interaction is applicable in the granulosa cells. Therefore, the current study aimed to determine the effect of insulin-like growth factor-1 (IGF-I), epidermal growth factor (EGF) and basic fibroblast growth factor (FGF-β) on Wnt ligands WNT2 and WNT4 and Wnt receptor Frizzled-4 (FZD4) protein levels in cultured mouse granulosa cells. Granulosa cells were isolated from antral follicles of adult Balb/C mice and cultured for 24 hours in the presence of 100 ng/mL of IGF-I, or EGF or FGF-β. WNT2, WNT4 and FZD4 protein levels were evaluated through western blotting after the culture process. IGF-I treated granulosa cells had significantly the highest level of WNT2 and WNT4 as well as FZD4 when compared to FGF-β and EGF groups. FGF-β group had a significantly higher level of WNT2, WNT4 and FZD4 expression when compared to EGF group. FZD4 expression was at the highest level in the IGF-I group and this difference was statistically significant for all groups including uncultured cells and vehicle group. In addition, FGF-β was shown to positively affect the adhesion of granulosa cells. This study demonstrates that IGF-I, FGF-β and EGF have differential effects on the expressions of WNT2, WNT4, and FZD4 in cultured mouse granulosa cells, suggesting that particular growth factors related to ovarian function might conduct their roles in the ovary through Wnt signaling.

Concepts in Boolean network modeling: What do they all mean?

Boolean network models are one of the simplest models to study complex dynamic behavior in biological systems. They can be applied to unravel the mechanisms regulating the properties of the system or to identify promising intervention targets. Since its introduction by Stuart Kauffman in 1969 for describing gene regulatory networks, various biologically based networks and tools for their analysis were developed. Here, we summarize and explain the concepts for Boolean network modeling. We also present application examples and guidelines to work with and analyze Boolean network models.