A Stochastic Petri Net-Based Model of the Involvement of Interleukin 18 in Atherosclerosis.
Ontology highlight
ABSTRACT:
SUBMITTER: Formanowicz D
PROVIDER: S-EPMC7696504 | biostudies-literature | 2020 Nov
REPOSITORIES: biostudies-literature
Publications
A Stochastic Petri Net-Based Model of the Involvement of Interleukin 18 in Atherosclerosis.
Formanowicz Dorota D Rybarczyk Agnieszka A Radom Marcin M Tanaś Krzysztof K Formanowicz Piotr P
International journal of molecular sciences 20201113 22
Interleukin 18 (IL-18) is a proinflammatory and proatherogenic cytokine with pleiotropic properties, which is involved in T and NK cell maturation and the synthesis of other inflammatory cytokines and cell adhesion molecules. It plays a significant role in orchestrating the cytokine cascade, accelerates atherosclerosis and influences plaque vulnerability. To investigate the influence of IL-18 cytokine on atherosclerosis development, a stochastic Petri net model was built and then analyzed. First ...[more]
Similar Datasets
Project description:Cellular DNA is daily exposed to several damaging agents causing a plethora of DNA lesions. As a first aid to restore DNA integrity, several enzymes got specialized in damage recognition and lesion removal during the process called base excision repair (BER). A large number of DNA damage types and several different readers of nucleic acids lesions during BER pathway as well as two sub-pathways were considered in the definition of a model using the Petri net framework. The intuitive graphical representation in combination with precise mathematical analysis methods are the strong advantages of the Petri net-based representation of biological processes and make Petri nets a promising approach for modeling and analysis of human BER. The reported results provide new information that will aid efforts to characterize in silico knockouts as well as help to predict the sensitivity of the cell with inactivated repair proteins to different types of DNA damage. The results can also help in identifying the by-passing pathways that may lead to lack of pronounced phenotypes associated with mutations in some of the proteins. This knowledge is very useful when DNA damage-inducing drugs are introduced for cancer therapy, and lack of DNA repair is desirable for tumor cell death.
| S-EPMC6743755 | biostudies-literature
Project description:BACKGROUND: The development and simulation of dynamic models of terpenoid biosynthesis has yielded a systems perspective that provides new insights into how the structure of this biochemical pathway affects compound synthesis. These insights may eventually help identify reactions that could be experimentally manipulated to amplify terpenoid production. In this study, a dynamic model of the terpenoid biosynthesis pathway was constructed based on the Hybrid Functional Petri Net (HFPN) technique. This technique is a fusion of three other extended Petri net techniques, namely Hybrid Petri Net (HPN), Dynamic Petri Net (HDN) and Functional Petri Net (FPN). RESULTS: The biological data needed to construct the terpenoid metabolic model were gathered from the literature and from biological databases. These data were used as building blocks to create an HFPNe model and to generate parameters that govern the global behaviour of the model. The dynamic model was simulated and validated against known experimental data obtained from extensive literature searches. The model successfully simulated metabolite concentration changes over time (pt) and the observations correlated with known data. Interactions between the intermediates that affect the production of terpenes could be observed through the introduction of inhibitors that established feedback loops within and crosstalk between the pathways. CONCLUSIONS: Although this metabolic model is only preliminary, it will provide a platform for analysing various high-throughput data, and it should lead to a more holistic understanding of terpenoid biosynthesis.
| S-EPMC2838867 | biostudies-other
Project description:The simulation of immune response is a challenging task because quantitative data are scarce. Quantitative theoretical models either focus on specific cell-cell interactions or have to make assumptions about parameters. The broad variation of, e.g., the dimensions and abundance between lymph nodes as well as between individual patients hampers conclusive quantitative modeling. No theoretical model has been established representing a consensus on the set of major cellular processes involved in the immune response. In this paper, we apply the Petri net formalism to construct a semi-quantitative mathematical model of the lymph nodes. The model covers the major cellular processes of immune response and fulfills the formal requirements of Petri net models. The intention is to develop a model taking into account the viewpoints of experienced pathologists and computer scientists in the field of systems biology. In order to verify formal requirements, we discuss invariant properties and apply the asynchronous firing rule of a place/transition net. Twenty-five transition invariants cover the model, and each is assigned to a functional mode of the immune response. In simulations, the Petri net model describes the dynamic modes of the immune response, its adaption to antigens, and its loss of memory.
| S-EPMC9953182 | biostudies-literature
Project description:Capability to compare biological models is a crucial step needed in an analysis of complex organisms. Petri nets as a popular modelling technique, needs a possibility to determine the degree of structural similarities (e.g., comparison of metabolic or signaling pathways). However, existing comparison methods use matching invariants approach for establishing a degree of similarity, and because of that are vulnerable to the state explosion problem which may appear during calculation of a minimal invariants set. Its occurrence will block usage of existing methods. To find an alternative for this situation, we decided to adapt and tests in a Petri net environment a method based on finding a distribution of graphlets. First, we focused on adapting the original graphlets for notation of bipartite, directed graphs. As a result, 151 new graphlets with 592 orbits were created. The next step focused on evaluating a performance of the popular Graphlet Degree Distribution Agreement (GDDA) metric in the new environment. To do that, we decided to use randomly generated networks that share typical characteristics of biological models represented in Petri nets. Our results confirmed the usefulness of graphlets and GDDA in Petri net comparison and discovered its limitations.
| S-EPMC9719902 | biostudies-literature
Project description:The Wnt/?-catenin signaling pathway is important for multiple developmental processes and tissue maintenance in adults. Consequently, deregulated signaling is involved in a range of human diseases including cancer and developmental defects. A better understanding of the intricate regulatory mechanism and effect of physiological (active) and pathophysiological (hyperactive) WNT signaling is important for predicting treatment response and developing novel therapies. The constitutively expressed CTNNB1 (commonly and hereafter referred to as ?-catenin) is degraded by a destruction complex, composed of amongst others AXIN1 and GSK3. The destruction complex is inhibited during active WNT signaling, leading to ?-catenin stabilization and induction of ?-catenin/TCF target genes. In this study we investigated the mechanism and effect of ?-catenin stabilization during active and hyperactive WNT signaling in a combined in silico and in vitro approach. We constructed a Petri net model of Wnt/?-catenin signaling including main players from the plasma membrane (WNT ligands and receptors), cytoplasmic effectors and the downstream negative feedback target gene AXIN2. We validated that our model can be used to simulate both active (WNT stimulation) and hyperactive (GSK3 inhibition) signaling by comparing our simulation and experimental data. We used this experimentally validated model to get further insights into the effect of the negative feedback regulator AXIN2 upon WNT stimulation and observed an attenuated ?-catenin stabilization. We furthermore simulated the effect of APC inactivating mutations, yielding a stabilization of ?-catenin levels comparable to the Wnt-pathway activities observed in colorectal and breast cancer. Our model can be used for further investigation and viable predictions of the role of Wnt/?-catenin signaling in oncogenesis and development.
| S-EPMC4878796 | biostudies-literature
Project description:Internet worms are analogous to biological viruses since they can infect a host and have the ability to propagate through a chosen medium. To prevent the spread of a worm or to grasp how to regulate a prevailing worm, compartmental models are commonly used as a means to examine and understand the patterns and mechanisms of a worm spread. However, one of the greatest challenge is to produce methods to verify and validate the behavioural properties of a compartmental model. This is why in this study we suggest a framework based on Petri Nets and Model Checking through which we can meticulously examine and validate these models. We investigate Susceptible-Exposed-Infectious-Recovered (SEIR) model and propose a new model Susceptible-Exposed-Infectious-Recovered-Delayed-Quarantined (Susceptible/Recovered) (SEIDQR(S/I)) along with hybrid quarantine strategy, which is then constructed and analysed using Stochastic Petri Nets and Continuous Time Markov Chain. The analysis shows that the hybrid quarantine strategy is extremely effective in reducing the risk of propagating the worm. Through Model Checking, we gained insight into the functionality of compartmental models. Model Checking results validate simulation ones well, which fully support the proposed framework.
| S-EPMC4699213 | biostudies-literature
Project description:BackgroundStructural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from molecular biological networks promises a deeper understanding but confronts researchers with the problem of combinatorial explosion. The amount of qualitative network data is growing much faster than the amount of quantitative data, such as enzyme kinetics. In many cases it is even impossible to measure quantitative data because of limitations of experimental methods, or for ethical reasons. Thus, a huge amount of qualitative data, such as interaction data, is available, but it was not sufficiently used for modeling purposes, until now. New approaches have been developed, but the complexity of data often limits the application of many of the methods. Biochemical Petri nets make it possible to explore static and dynamic qualitative system properties. One Petri net approach is model validation based on the computation of the system's invariant properties, focusing on t-invariants. T-invariants correspond to subnetworks, which describe the basic system behavior.With increasing system complexity, the basic behavior can only be expressed by a huge number of t-invariants. According to our validation criteria for biochemical Petri nets, the necessary verification of the biological meaning, by interpreting each subnetwork (t-invariant) manually, is not possible anymore. Thus, an automated, biologically meaningful classification would be helpful in analyzing t-invariants, and supporting the understanding of the basic behavior of the considered biological system.MethodsHere, we introduce a new approach to automatically classify t-invariants to cope with network complexity. We apply clustering techniques such as UPGMA, Complete Linkage, Single Linkage, and Neighbor Joining in combination with different distance measures to get biologically meaningful clusters (t-clusters), which can be interpreted as modules. To find the optimal number of t-clusters to consider for interpretation, the cluster validity measure, Silhouette Width, is applied.ResultsWe considered two different case studies as examples: a small signal transduction pathway (pheromone response pathway in Saccharomyces cerevisiae) and a medium-sized gene regulatory network (gene regulation of Duchenne muscular dystrophy). We automatically classified the t-invariants into functionally distinct t-clusters, which could be interpreted biologically as functional modules in the network. We found differences in the suitability of the various distance measures as well as the clustering methods. In terms of a biologically meaningful classification of t-invariants, the best results are obtained using the Tanimoto distance measure. Considering clustering methods, the obtained results suggest that UPGMA and Complete Linkage are suitable for clustering t-invariants with respect to the biological interpretability.ConclusionWe propose a new approach for the biological classification of Petri net t-invariants based on cluster analysis. Due to the biologically meaningful data reduction and structuring of network processes, large sets of t-invariants can be evaluated, allowing for model validation of qualitative biochemical Petri nets. This approach can also be applied to elementary mode analysis.
| S-EPMC2277402 | biostudies-literature
Project description:Inflammation is a critical factor for development of hypoxic-ischemic (HI) brain injury. Interleukin-18 (IL-18) is a proinflammatory cytokine expressed in microglia and processed by caspase-1. Our aim was to characterize the expression of IL-18 and its receptor in relation to caspase-1 and IL-1beta after HI and to evaluate to what extent IL-18 contributes to HI brain injury. Seven-day-old rats were subjected to HI, and brain tissue was sampled at different time points (3 hr to 14 d) after insult. The mRNA for IL-18 and caspase-1 were analyzed with reverse transcriptase PCR, protein was analyzed by Western blot (IL-18, caspase-1) or ELISA (IL-1beta), and the regional distribution was assessed by immunohistochemistry. HI was also induced in C57BL/6 mice, and brain injury in IL-18-deficient animals was compared with that in wild-type animals. The expression of mRNA/protein for caspase-1 and IL-18 in brain homogenates increased progressively at 12 hr to 14 d after HI, whereas IL-1beta peaked at 8 hr. A widespread expression of caspase-1 and IL-18 protein in microglia was found in the HI hemisphere. The IL-18 receptor was expressed on neurons of the cerebral cortex and thalamus. IL-1beta was primarily found in microglia in the habenular nucleus of the thalamus. The infarct volume was reduced by 21% (p = 0.01), and the neuropathology score was significantly decreased in the cerebral cortex (-35%), hippocampus (-22%), striatum (-18%), and thalamus (-17%) in mice with IL-18 deficiency compared with wild-type mice. In conclusion, we found that IL-18 expression in microglia was markedly increased after HI and that IL-18 appears to be important for the development of HI brain injury.
| S-EPMC6757918 | biostudies-literature
Project description:The cloud is a shared pool of systems that provides multiple resources through the Internet, users can access a lot of computing power using their computer. However, with the strong migration rate of multiple applications towards the cloud, more disks and servers are required to store huge data. Most of the cloud storage service providers are replicating full copies of data over multiple data centers to ensure data availability. Further, the replication is not only a costly process but also a wastage of energy resources. Furthermore, erasure codes reduce the storage cost by splitting data in n chunks and storing these chunks into n + k different data centers, to tolerate k failures. Moreover, it also needs extra computation cost to regenerate the data object. Cache-A Replica On Modification (CAROM) is a hybrid file system that gets combined benefits from both the replication and erasure codes to reduce access latency and bandwidth consumption. However, in the literature, no formal analysis of CAROM is available which can validate its performance. To address this issue, this research firstly presents a colored Petri net based formal model of CAROM. The research proceeds by presenting a formal analysis and simulation to validate the performance of the proposed system. This paper contributes towards the utilization of resources in clouds by presenting a comprehensive formal analysis of CAROM.
| S-EPMC7959626 | biostudies-literature
Project description:Interleukin-18 (IL18) participates in atherogenesis through several putative mechanisms. Interruption of IL18 action reduces atherosclerosis in mice. Here, we show that absence of the IL18 receptor (IL18r) does not affect atherosclerosis in apolipoprotein E-deficient (Apoe(-/-)) mice, nor does it affect IL18 cell surface binding to or signaling in endothelial cells. As identified initially by co-immunoprecipitation with IL18, we found that IL18 interacts with the Na-Cl co-transporter (NCC; also known as SLC12A3), a 12-transmembrane-domain ion transporter protein preferentially expressed in the kidney. NCC is expressed in atherosclerotic lesions, where it colocalizes with IL18r. In Apoe(-/-) mice, combined deficiency of IL18r and NCC, but not single deficiency of either protein, protects mice from atherosclerosis. Peritoneal macrophages from Apoe(-/-) mice or from Apoe(-/-) mice lacking IL18r or NCC show IL18 binding and induction of cell signaling and cytokine and chemokine expression, but macrophages from Apoe(-/-) mice with combined deficiency of IL18r and NCC have a blunted response. An interaction between NCC and IL18r on macrophages was detected by co-immunoprecipitation. IL18 binds to the cell surface of NCC-transfected COS-7 cells, which do not express IL18r, and induces cell signaling and cytokine expression. This study identifies NCC as an IL18-binding protein that collaborates with IL18r in cell signaling, inflammatory molecule expression, and experimental atherogenesis.
| S-EPMC4554539 | biostudies-literature