Computational modeling and analysis of the impacts of sleep deprivation on glucose stimulated insulin secretion

Circadian clock is an exquisite internal biological clock functioning in all living organisms. Lifestyle changes such as shift work or frequent travelling might result in malfunctioning of the central and consequently the peripheral clocks leading to different metabolic disorders. Disruptions in β cell clock have been found to be a potential reason behind β cell failure that makes a person prone towards developing type 2 diabetes (T2DM). In this study, a Petri net model for β cell circadian clock has been developed, followed by analysis of the negative impacts of sleep deprivation conditions on the process of glucose stimulated insulin secretion (GSIS) through misalignment of circadian clock. The analysis of structural properties of the Petri net model reveals robustness of the circadian system. The simulation results predict that sleep loss negatively affects the expression of circadian genes which eventually leads to impaired GSIS and β cell failure. These results suggest that sleep/wake cycle is a vital contributor for the entrainment of the circadian clock and normal functioning of β cell.

[1]  Fred W. Turek,et al.  Obesity and Metabolic Syndrome in Circadian Clock Mutant Mice , 2005, Science.

[2]  Steven M Reppert,et al.  mCRY1 and mCRY2 Are Essential Components of the Negative Limb of the Circadian Clock Feedback Loop , 1999, Cell.

[3]  Gene D. Block,et al.  Disruption of Circadian Rhythms Accelerates Development of Diabetes through Pancreatic Beta-Cell Loss and Dysfunction , 2011, Journal of biological rhythms.

[4]  Aurélien Naldi,et al.  A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties , 2009, CMSB.

[5]  D. A. Baxter,et al.  A reduced model clarifies the role of feedback loops and time delays in the Drosophila circadian oscillator. , 2002, Biophysical journal.

[6]  Krešimir Josić,et al.  Molecular mechanisms that regulate the coupled period of the mammalian circadian clock. , 2014, Biophysical journal.

[7]  Assieh Saadatpour,et al.  A Reduction Method for Boolean Network Models Proven to Conserve Attractors , 2013, SIAM J. Appl. Dyn. Syst..

[8]  Aurore Woller,et al.  A Mathematical Model of the Liver Circadian Clock Linking Feeding and Fasting Cycles to Clock Function. , 2016, Cell reports.

[9]  Nicolas Cermakian,et al.  Molecular Circadian Rhythms in Central and Peripheral Clocks in Mammals , 2007, Chronobiology international.

[10]  Daniel B. Forger,et al.  A mechanism for robust circadian timekeeping via stoichiometric balance , 2012, Molecular systems biology.

[11]  F. Scheer,et al.  Metabolic effects of sleep disruption, links to obesity and diabetes , 2014, Current opinion in endocrinology, diabetes, and obesity.

[12]  S. Leibler,et al.  Mechanisms of noise-resistance in genetic oscillators , 2002, Proceedings of the National Academy of Sciences of the United States of America.

[13]  Hiroki R Ueda,et al.  Feedback repression is required for mammalian circadian clock function , 2006, Nature Genetics.

[14]  C. Weitz,et al.  Light-independent role of CRY1 and CRY2 in the mammalian circadian clock. , 1999, Science.

[15]  Hidde de Jong,et al.  Modeling and Simulation of Genetic Regulatory Systems: A Literature Review , 2002, J. Comput. Biol..

[16]  J. Meijer,et al.  Daily and seasonal adaptation of the circadian clock requires plasticity of the SCN neuronal network , 2010, The European journal of neuroscience.

[17]  J. Takahashi,et al.  Mammalian circadian biology: elucidating genome-wide levels of temporal organization. , 2004, Annual review of genomics and human genetics.

[18]  C. Möller-Levet,et al.  Effects of insufficient sleep on circadian rhythmicity and expression amplitude of the human blood transcriptome , 2013, Proceedings of the National Academy of Sciences.

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

[20]  Ke Ma,et al.  Loss of Bmal1 leads to uncoupling and impaired glucose-stimulated insulin secretion in β-cells , 2011, Islets.

[21]  Benita Middleton,et al.  Effect of sleep deprivation on rhythms of clock gene expression and melatonin in humans , 2013, Chronobiology international.

[22]  Claudine Chaouiya,et al.  Petri net modelling of biological networks , 2007, Briefings Bioinform..

[23]  Min Zhou,et al.  A Period2 Phosphoswitch Regulates and Temperature Compensates Circadian Period. , 2015, Molecular cell.

[24]  Emmanouil T. Dermitzakis,et al.  A functional circadian clock is required for proper insulin secretion by human pancreatic islet cells , 2016, Diabetes, obesity & metabolism.

[25]  Adrien Richard,et al.  Formal Methods for Modeling Biological Regulatory Networks , 2006 .

[26]  Jitender S. Deogun,et al.  Yeast pheromone pathway modeling using Petri nets , 2014, BMC Bioinformatics.

[27]  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.

[28]  Sobia Rana,et al.  Circadian rhythm and its role in malignancy , 2010, Journal of circadian rhythms.

[29]  René Thomas,et al.  Kinetic logic : a Boolean approach to the analysis of complex regulatory systems : proceedings of the EMBO course "Formal analysis of genetic regulation," held in Brussels, September 6-16, 1977 , 1979 .

[30]  Angel Nadal,et al.  The clock gene Rev-erbα regulates pancreatic β-cell function: modulation by leptin and high-fat diet. , 2012, Endocrinology.

[31]  Gene D. Block,et al.  Consequences of Exposure to Light at Night on the Pancreatic Islet Circadian Clock and Function in Rats , 2013, Diabetes.

[32]  Jana Husse,et al.  Circadian Desynchrony Promotes Metabolic Disruption in a Mouse Model of Shiftwork , 2012, PloS one.

[33]  Katsumi Inoue,et al.  Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Logic Programming for Boolean Networks , 2022 .

[34]  A. Goldbeter,et al.  Toward a detailed computational model for the mammalian circadian clock , 2003, Proceedings of the National Academy of Sciences of the United States of America.

[35]  Daniel B Forger,et al.  Model based conjectures on mammalian clock controversies. , 2004, Journal of theoretical biology.

[36]  G. Coupland,et al.  The genetic basis of flowering responses to seasonal cues , 2012, Nature Reviews Genetics.

[37]  Daniel B. Forger,et al.  It is not the parts, but how they interact that determines the behaviour of circadian rhythms across scales and organisms , 2014, Interface Focus.

[38]  Aamir Shafi,et al.  Formal modeling and analysis of the hexosamine biosynthetic pathway: role of O-linked N-acetylglucosamine transferase in oncogenesis and cancer progression , 2016, PeerJ.

[39]  Guangsen Shi,et al.  An intensity ratio of interlocking loops determines circadian period length , 2014, Nucleic acids research.

[40]  M. A. Henson,et al.  A molecular model for intercellular synchronization in the mammalian circadian clock. , 2007, Biophysical journal.

[41]  Paolo Sassone-Corsi,et al.  Bimodal regulation of mPeriod promoters by CREB-dependent signaling and CLOCK/BMAL1 activity , 2002, Proceedings of the National Academy of Sciences of the United States of America.

[42]  Hanspeter Herzel,et al.  Timing of circadian genes in mammalian tissues , 2014, Scientific Reports.

[43]  Matjaz Perc,et al.  Modeling the Seasonal Adaptation of Circadian Clocks by Changes in the Network Structure of the Suprachiasmatic Nucleus , 2012, PLoS Comput. Biol..

[44]  J. Tyson,et al.  A simple model of circadian rhythms based on dimerization and proteolysis of PER and TIM. , 1999, Biophysical journal.

[45]  D. P. King,et al.  Role of the CLOCK protein in the mammalian circadian mechanism. , 1998, Science.

[46]  Hitoshi Onouchi,et al.  CONSTANS mediates between the circadian clock and the control of flowering in Arabidopsis , 2001, Nature.

[47]  Ueli Schibler,et al.  System-Driven and Oscillator-Dependent Circadian Transcription in Mice with a Conditionally Active Liver Clock , 2007, PLoS biology.

[48]  A. Goldbeter,et al.  Modeling the mammalian circadian clock: sensitivity analysis and multiplicity of oscillatory mechanisms. , 2004, Journal of Theoretical Biology.

[49]  Francis J Doyle,et al.  A model of the cell-autonomous mammalian circadian clock , 2009, Proceedings of the National Academy of Sciences.

[50]  Adrien Richard,et al.  Delays in Biological Regulatory Networks (BRN) , 2006, International Conference on Computational Science.

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

[52]  J. Bass,et al.  Circadian topology of metabolism , 2012, Nature.

[53]  J. Bass,et al.  Circadian clocks and metabolism. , 2013, Handbook of experimental pharmacology.

[54]  Hanspeter Herzel,et al.  A model of the mammalian circadian oscillator including the REV-ERBalpha module. , 2004, Genome informatics. International Conference on Genome Informatics.

[55]  Peter Ruoff,et al.  The Temperature-Compensated Goodwin Model Simulates Many Circadian Clock Properties , 1996 .

[56]  U. Schibler,et al.  The mammalian circadian timing system: synchronization of peripheral clocks. , 2011, Cold Spring Harbor symposia on quantitative biology.

[57]  José Halloy,et al.  Stochastic models for circadian rhythms: effect of molecular noise on periodic and chaotic behaviour. , 2003, Comptes rendus biologies.

[58]  Ke Ma,et al.  Bmal1 and β-Cell Clock Are Required for Adaptation to Circadian Disruption, and Their Loss of Function Leads to Oxidative Stress-Induced β-Cell Failure in Mice , 2013, Molecular and Cellular Biology.

[59]  Joseph S. Takahashi,et al.  Circadian Integration of Metabolism and Energetics , 2010, Science.

[60]  Ina Koch,et al.  Model validation of biological pathways using Petri nets , 2004 .

[61]  Paul Smolen,et al.  Simulation of Drosophila circadian oscillations, mutations, and light responses by a model with VRI, PDP-1, and CLK. , 2004, Biophysical journal.

[62]  Hiroshi Matsuno,et al.  A new regulatory interaction suggested by simulations for circadian genetic control mechanism in mammals , 2006, APBC.

[63]  Achim Kramer,et al.  Tuning the Mammalian Circadian Clock: Robust Synergy of Two Loops , 2011, PLoS Comput. Biol..

[64]  A. Knutsson,et al.  Health disorders of shift workers. , 2003, Occupational medicine.

[65]  Gilles Bernot,et al.  Discrete Delay Model for the Mammalian Circadian Clock , 2007, Complexus.

[66]  Amjad Ali,et al.  Modeling and analysis of the impacts of jet lag on circadian rhythm and its role in tumor growth , 2018, PeerJ.

[67]  K. Yau,et al.  Intrinsically photosensitive retinal ganglion cells. , 2010, Physiological reviews.

[68]  S H Strogatz,et al.  Human sleep and circadian rhythms: a simple model based on two coupled oscillators , 1987, Journal of mathematical biology.

[69]  S. Leibler,et al.  Biological rhythms: Circadian clocks limited by noise , 2000, Nature.

[70]  H. Kitano,et al.  Robust oscillations within the interlocked feedback model of Drosophila circadian rhythm. , 2001, Journal of theoretical biology.

[71]  K. Spiegel,et al.  Impact of sleep debt on metabolic and endocrine function , 1999, The Lancet.

[72]  Denis Thieffry,et al.  Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in E.Coli , 2005, ECCB/JBI.

[73]  Ook Joon Yoo,et al.  PERIOD2::LUCIFERASE real-time reporting of circadian dynamics reveals persistent circadian oscillations in mouse peripheral tissues. , 2004, Proceedings of the National Academy of Sciences of the United States of America.

[74]  Denis Thieffry,et al.  Qualitative Petri Net Modelling of Genetic Networks , 2006, Trans. Comp. Sys. Biology.

[75]  U. Schibler,et al.  Glucocorticoid hormones inhibit food‐induced phase‐shifting of peripheral circadian oscillators , 2001, The EMBO journal.

[76]  Joseph S. Takahashi,et al.  Disruption of the Clock Components CLOCK and BMAL 1 Leads to Hypoinsulinemia and Diabetes , 2012 .

[77]  Derk-Jan Dijk,et al.  Light, Sleep, and Circadian Rhythms: Together Again , 2009, PLoS biology.

[78]  Vsevolod Afanasyev,et al.  At–Sea Behavior Varies with Lunar Phase in a Nocturnal Pelagic Seabird, the Swallow-Tailed Gull , 2013, PloS one.

[79]  Andrea Sackmann,et al.  Petri net based model of the body iron homeostasis , 2007, J. Biomed. Informatics.

[80]  Rachel Leproult,et al.  Circadian Misalignment Augments Markers of Insulin Resistance and Inflammation, Independently of Sleep Loss , 2014, Diabetes.

[81]  Aurélien Naldi,et al.  Logical modelling of gene regulatory networks with GINsim. , 2012, Methods in molecular biology.

[82]  Christel Baier,et al.  Principles of model checking , 2008 .

[83]  U. Niazi,et al.  Formal Modeling and Analysis of the MAL-Associated Biological Regulatory Network: Insight into Cerebral Malaria , 2012, PloS one.

[84]  Adrien Richard,et al.  Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic. , 2004, Journal of theoretical biology.

[85]  Joseph S. Takahashi,et al.  A tunable artificial circadian clock in clock-defective mice , 2015, Nature Communications.

[86]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[87]  Didier Gonze,et al.  Modeling circadian clocks: Roles, advantages, and limitations , 2011, Central European Journal of Biology.

[88]  El Houssine Snoussi,et al.  Logical identification of all steady states: The concept of feedback loop characteristic states , 1993 .

[89]  Wolfgang Reisig,et al.  Carl Adam Petri and "Petri Nets" , 2007 .

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

[91]  H. Herzel,et al.  Modeling feedback loops of the Mammalian circadian oscillator. , 2004, Biophysical journal.

[92]  E. van Cauter,et al.  The metabolic consequences of sleep deprivation. , 2007, Sleep medicine reviews.

[93]  R. Illner,et al.  A model for generating circadian rhythm by coupling ultradian oscillators , 2006, Theoretical Biology and Medical Modelling.

[94]  René Thomas Regulatory networks seen as asynchronous automata: A logical description , 1991 .

[95]  Thomas P. Burris,et al.  Involvement of the Clock Gene Rev-erb alpha in the Regulation of Glucagon Secretion in Pancreatic Alpha-Cells , 2013, PloS one.

[96]  J. Takahashi,et al.  Central and peripheral circadian clocks in mammals. , 2012, Annual review of neuroscience.

[97]  I. Quesada,et al.  Clock genes, pancreatic function, and diabetes. , 2014, Trends in molecular medicine.

[98]  K. Aihara,et al.  Bifurcations in a mathematical model for circadian oscillations of clock genes. , 2006, Journal of theoretical biology.

[99]  S. Kauffman Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.

[100]  Hiroki Yokota,et al.  Application of Petri Nets in Bone Remodeling , 2009, Gene regulation and systems biology.

[101]  Rachel Leproult,et al.  HIGHLIGHTED TOPIC Physiology and Pathophysiology of Sleep Apnea Sleep loss: a novel risk factor for insulin resistance and Type 2 diabetes , 2022 .

[102]  Denis Thieffry,et al.  Petri net modelling of biological regulatory networks , 2008, J. Discrete Algorithms.

[103]  Franck Delaplace,et al.  Semantics of Biological Regulatory Networks , 2007, Electron. Notes Theor. Comput. Sci..

[104]  A. B. Reddy,et al.  Healthy clocks, healthy body, healthy mind , 2010, Trends in cell biology.

[105]  G. Sridhar,et al.  Prevalence of sleep disturbances in diabetes mellitus. , 1994, Diabetes research and clinical practice.

[106]  Marco Pistore,et al.  NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.

[107]  Liza Gross Central and Peripheral Signals Set the Circadian Liver Clock , 2007, PLoS biology.