Fuzzy Petri nets for modelling of uncertain biological systems

Uncertain data processing of PMU modules using fuzzy Petri net

The paper presents a novel method for processing uncertain data of Phasor measurement unit (PMU) modules first time in the literature using Fuzzy Reasoning Petri net (FPN). It addresses several key issues such as exploitation of Petri net representation from operating state of PMU to its failure state whereas Fuzzy logic is used to deal with the uncertain data of PMU modules. Sprouting tree, an information flow path, of PMU failure is drawn due to various components and estimation accuracy can be enhanced by integration of more truthiness input data. Fault tree diagram, Fuzzy Petri net model (FPN), production rule sets for PMU are developed and finally degree of truthiness of proposition is computed from sprouting tree. Fuzzy logic reasoning is used for routing the sprouting tree whereas Petri net is employed for dynamics of states due to failure of modules of PMU. The fusion of two technologies is made for the dynamic response, processing and reasoning to sprouting tree information flow from operating state to unavailability of PMU. The research work is useful to pinpoint the weakness in design of modules of PMU and to assess its reliability.

Measuring and interpreting pervasive heterogeneity, poikilosis

Measurements are widely used in science, engineering, industry, and trade. They form the basis for experimental scientific research, approach, and progress; however, their foundations are seldom thought or questioned. Recently poikilosis, pervasive heterogeneity ranging from subatomic level to biosphere, was introduced. Poikilosis makes single point measurements and estimates obsolete and irrelevant as measurands display intervals of magnitudes. Consideration of poikilosis requires new lines of thinking in experimental design, conduction of studies, data analysis and interpretation. Measurements of poikilosis must consider lagom, normal, variation extent. Measurements, measures, and measurands as well as the measuring systems and uncertainties are discussed from the perspective of poikilosis. New systematics is introduced for description of uncertainty in measurements and for types of experimental designs. Poikilosis-aware experimenting, data analysis and interpretation are discussed. Instructions are provided for how to measure lagom and non-lagom effects of poikilosis. Consideration of poikilosis can solve scientific controversies and enigmas and can allow novel insight into systems, processes, mechanisms, and reactions and their interpretation, understanding, and manipulation. Furthermore, it will increase reproducibility of measurements and studies.

Collective behavior in a two-layer neuronal network with time-varying chemical connections that are controlled by a Petri net

In this paper, we propose and study a two-layer network composed of a Petri net in the first layer and a ring of coupled Hindmarsh-Rose neurons in the second layer. Petri nets are appropriate platforms not only for describing sequential processes but also for modeling information circulation in complex systems. Networks of neurons, on the other hand, are commonly used to study synchronization and other forms of collective behavior. Thus, merging both frameworks into a single model promises fascinating new insights into neuronal collective behavior that is subject to changes in network connectivity. In our case, the Petri net in the first layer manages the existence of excitatory and inhibitory links among the neurons in the second layer, thereby making the chemical connections time-varying. We focus on the emergence of different types of collective behavior in the model, such as synchronization, chimeras, and solitary states, by considering different inhibitory and excitatory tokens in the Petri net. We find that the existence of only inhibitory or excitatory tokens disturbs the synchronization of electrically coupled neurons and leads toward chimera and solitary states.

High-speed parameter search of dynamic biological pathways from time-course transcriptomic profiles using high-level Petri net

Dynamic simulation promises a deeper understanding of complex molecular mechanisms of biological pathways. How to determine the reaction kinetic parameters which govern the simulation results is still an open question in the field of systems biology. (1) Background: To execute simulation experiments, it is an essential first step to search effective values of model parameters. The complexity of biological systems and the experimental measurement technology severely limit the acquirement of accurate kinetic parameters. Previously proposed genomic data assimilation (GDA) approach enables users to handle parameter estimation using time-course information. However, it highly depends on successive time points and costs massive computational resource; (2) Methods: To address this problem, we present a new high-speed parameter search method for estimating the kinetic parameters of quantitative biological pathways using time-course transcriptomic profiles. The key idea of our method is to interactively prune the search space by introducing Probabilistic Linear-time Temporal Logic (PLTL) based model checking into GDA. (3) Results and conclusion: We demonstrated the effectiveness of our method by comparing with GDA on Mus musculus transcription circuits modelled by hybrid functional Petri net with extension. As a result, our method works faster and more accurate than GDA for both time-course datasets with dense and sparse observed values.

In silico trial to test COVID-19 candidate vaccines: a case study with UISS platform

Background

SARS-CoV-2 is a severe respiratory infection that infects humans. Its outburst entitled it as a pandemic emergence. To get a grip on this outbreak, specific preventive and therapeutic interventions are urgently needed. It must be said that, until now, there are no existing vaccines for coronaviruses. To promptly and rapidly respond to pandemic events, the application of in silico trials can be used for designing and testing medicines against SARS-CoV-2 and speed-up the vaccine discovery pipeline, predicting any therapeutic failure and minimizing undesired effects.

Results

We present an in silico platform that showed to be in very good agreement with the latest literature in predicting SARS-CoV-2 dynamics and related immune system host response. Moreover, it has been used to predict the outcome of one of the latest suggested approach to design an effective vaccine, based on monoclonal antibody. Universal Immune System Simulator (UISS) in silico platform is potentially ready to be used as an in silico trial platform to predict the outcome of vaccination strategy against SARS-CoV-2.

Conclusions

In silico trials are showing to be powerful weapons in predicting immune responses of potential candidate vaccines. Here, UISS has been extended to be used as an in silico trial platform to speed-up and drive the discovery pipeline of vaccine against SARS-CoV-2.

Hybrid modelling of biological systems using fuzzy continuous Petri nets

Integrated modelling of biological systems is challenged by composing components with sufficient kinetic data and components with insufficient kinetic data or components built only using experts’ experience and knowledge. Fuzzy continuous Petri nets (FCPNs) combine continuous Petri nets with fuzzy inference systems, and thus offer an hybrid uncertain/certain approach to integrated modelling of such biological systems with uncertainties. In this paper, we give a formal definition and a corresponding simulation algorithm of FCPNs, and briefly introduce the FCPN tool that we have developed for implementing FCPNs. We then present a methodology and workflow utilizing FCPNs to achieve hybrid (uncertain/certain) modelling of biological systems illustrated with a case study of the Mercaptopurine metabolic pathway. We hope this research will promote the wider application of FCPNs and address the uncertain/certain integrated modelling challenge in the systems biology area.