Fuzzy Stochastic Petri Nets for Modeling Biological Systems with Uncertain Kinetic Parameters

Stochastic Petri nets (SPNs) have been widely used to model randomness which is an inherent feature of biological systems. However, for many biological systems, some kinetic parameters may be uncertain due to incomplete, vague or missing kinetic data (often called fuzzy uncertainty), or naturally vary, e.g., between different individuals, experimental conditions, etc. (often called variability), which has prevented a wider application of SPNs that require accurate parameters. Considering the strength of fuzzy sets to deal with uncertain information, we apply a specific type of stochastic Petri nets, fuzzy stochastic Petri nets (FSPNs), to model and analyze biological systems with uncertain kinetic parameters. FSPNs combine SPNs and fuzzy sets, thereby taking into account both randomness and fuzziness of biological systems. For a biological system, SPNs model the randomness, while fuzzy sets model kinetic parameters with fuzzy uncertainty or variability by associating each parameter with a fuzzy number instead of a crisp real value. We introduce a simulation-based analysis method for FSPNs to explore the uncertainties of outputs resulting from the uncertainties associated with input parameters, which works equally well for bounded and unbounded models. We illustrate our approach using a yeast polarization model having an infinite state space, which shows the appropriateness of FSPNs in combination with simulation-based analysis for modeling and analyzing biological systems with uncertain information.

[1]  Navonil Mustafee,et al.  Proceedings of the 2017 Winter Simulation Conference , 2017 .

[2]  Luca Cardelli,et al.  Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus , 2007, CMSB.

[3]  Attila Csikász-Nagy,et al.  Stochastic Petri Net extension of a yeast cell cycle model. , 2008, Journal of theoretical biology.

[4]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[5]  D. Gillespie.  Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[6]  Brian Drawert,et al.  The diffusive finite state projection algorithm for efficient simulation of the stochastic reaction-diffusion master equation. , 2010, The Journal of chemical physics.

[7]  Madan M. Gupta,et al.  On fuzzy stochastic optimization , 1996, Fuzzy Sets Syst..

[8]  Martin Schwarick,et al.  Charlie - An Extensible Petri Net Analysis Tool , 2015, Petri Nets.

[9]  Monika Heiner,et al.  Petri Nets for Systems and Synthetic Biology , 2008, SFM.

[10]  Janette Cardoso,et al.  Monitoring manufacturing systems by means of Petri nets with imprecise markings , 1989, Proceedings. IEEE International Symposium on Intelligent Control 1989.

[11]  C. Petri.  Kommunikation mit Automaten , 1962 .

[12]  Robert LIN,et al.  NOTE ON FUZZY SETS , 2014 .

[13]  W. Bentley,et al.  Stochastic kinetic analysis of the Escherichia coli stress circuit using σ32-targeted antisense , 2001 .

[14]  Wing Hung Wong,et al.  Modeling stochastic noise in gene regulatory systems , 2014, Quantitative Biology.

[15]  Wolfgang Marwan,et al.  Reconstructing the regulatory network controlling commitment and sporulation in Physarum polycephalum based on hierarchical Petri Net modelling and simulation. , 2005, Journal of theoretical biology.

[16]  Samar Hayat Khan Tareen,et al.  Modelling and Analysis of the Feeding Regimen Induced Entrainment of Hepatocyte Circadian Oscillators Using Petri Nets , 2015, PloS one.

[17]  Francesco Archetti,et al.  Stochastic Simulation of the Coagulation Cascade: A Petri Net Based Approach , 2012, Euro-Par Workshops.

[18]  Monika Heiner,et al.  Multiscale modelling of coupled Ca2+ channels using coloured stochastic Petri nets. , 2013, IET systems biology.

[19]  Peter Kemper,et al.  Stochastic Petri net models of Ca2+ signaling complexes and their analysis , 2011, Natural Computing.

[20]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[21]  David Hsu,et al.  A decompositional approach to parameter estimation in pathway modeling: a case study of the Akt and MAPK pathways and their crosstalk , 2006, ISMB.

[22]  Werner Sandmann,et al.  ON THE STATISTICAL ACCURACY OF STOCHASTIC SIMULATION ALGORITHMS IMPLEMENTED IN DIZZY , 2008 .

[23]  Pawan Dhar,et al.  Modeling and simulation of biological systems with stochasticity , 2004, Silico Biol..

[24]  Matlab.  Matlab (the language of technical computing): using matlab graphics ver.5 , 2014 .

[25]  Yike Guo,et al.  Modelling and performance analysis of clinical pathways using the stochastic process algebra PEPA , 2012, BMC Bioinformatics.

[26]  Monika Heiner,et al.  JAK/STAT signalling--an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems and synthetic biology. , 2012, Molecular bioSystems.

[27]  Averill M. Law,et al.  Simulation Modeling and Analysis , 1982 .

[28]  Christos Alexopoulos,et al.  Statistical analysis of simulation output: State of the art , 2007, 2007 Winter Simulation Conference.

[29]  Masao Nagasaki,et al.  Online model checking approach based parameter estimation to a neuronal fate decision simulation model in Caenorhabditis elegans with hybrid functional Petri net with extension. , 2011, Molecular bioSystems.

[30]  Martin Schwarick,et al.  A comparative study of stochastic analysis techniques , 2010, CMSB '10.

[31]  René David,et al.  Continuous and Hybrid Petri Nets , 1998, J. Circuits Syst. Comput..

[32]  Paolo Fontana,et al.  Argot2: a large scale function prediction tool relying on semantic similarity of weighted Gene Ontology terms , 2012, BMC Bioinformatics.

[33]  Miha Mraz,et al.  Quantitative modelling of biological systems with extended Fuzzy Petri Nets , 2013, BioPPN@Petri Nets.

[34]  Cengiz Kahraman,et al.  Modeling a flexible manufacturing cell using stochastic Petri nets with fuzzy parameters , 2010, Expert Syst. Appl..

[35]  Monika Heiner,et al.  Petri nets in Snoopy: a unifying framework for the graphical display, computational modelling, and simulation of bacterial regulatory networks. , 2012, Methods in molecular biology.

[36]  Baoding Liu,et al.  Theory and Practice of Uncertain Programming , 2003, Studies in Fuzziness and Soft Computing.

[37]  Martin Schwarick,et al.  Snoopy - A Unifying Petri Net Tool , 2012, Petri Nets.

[38]  Didier Dubois,et al.  Possibility theory , 2018, Scholarpedia.

[39]  Bernie J Daigle,et al.  Automated estimation of rare event probabilities in biochemical systems. , 2011, The Journal of chemical physics.

[40]  T. Kepler,et al.  Stochasticity in transcriptional regulation: origins, consequences, and mathematical representations. , 2001, Biophysical journal.

[41]  Monika Heiner,et al.  Predicting Phenotype from Genotype through Automatically Composed Petri Nets , 2012, CMSB.

[42]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[43]  S. I. Ahson,et al.  A New Approach for Modelling Gene Regulatory Networks Using Fuzzy Petri Nets , 2010, J. Integr. Bioinform..

[44]  J. Watada,et al.  Fuzzy Stochastic Optimization: Theory, Models and Applications , 2012 .

[45]  Linda R. Petzold,et al.  Accelerated maximum likelihood parameter estimation for stochastic biochemical systems , 2012, BMC Bioinformatics.

[46]  Artur Gintrowski.  Modeling Gene Networks using Fuzzy Logic , 2010, MEMICS.

[47]  David R. Gilbert,et al.  A Model Checking Approach to the Parameter Estimation of Biochemical Pathways , 2008, CMSB.

[48]  Monika Heiner,et al.  BioModel Engineering with Petri Nets , 2015 .

[49]  Zuohua Ding,et al.  Fuzzy timed petri net definitions, properties, and applications , 2005, Math. Comput. Model..

[50]  Monika Heiner,et al.  Modeling membrane systems using colored stochastic Petri nets , 2013, Natural Computing.

[51]  Anil Wipat,et al.  Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks , 2006, PASM@FM.

[52]  Monika Heiner,et al.  Spatial-Temporal Modelling and Analysis of Bacterial Colonies with Phase Variable Genes , 2015, ACM Trans. Model. Comput. Simul..

[53]  P J Goss,et al.  Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. , 1998, Proceedings of the National Academy of Sciences of the United States of America.